FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092181779> ?p ?o ?g. }

• W2092181779 endingPage "124" @default.
• W2092181779 startingPage "109" @default.
• W2092181779 abstract "Capitalizing on previous encodings and formal developments about nominal calculi and type systems, we propose a weak Higher-Order Abstract Syntax formalization of the type language of pure System F<: within Coq, a proof assistant based on the Calculus of Inductive Constructions. Our encoding allows us to accomplish the proof of the transitivity property of algorithmic subtyping, which is in fact the first of the three tasks stated by the POPLmark Challenge, a set of problems that capture the most critical issues in formalizing programming language metatheory." @default.
• W2092181779 created "2016-06-24" @default.
• W2092181779 creator A5037039482 @default.
• W2092181779 creator A5077893110 @default.
• W2092181779 date "2013-03-28" @default.
• W2092181779 modified "2023-10-16" @default.
• W2092181779 title "A weak HOAS approach to the POPLmark Challenge" @default.
• W2092181779 cites W1552388942 @default.
• W2092181779 cites W1588934256 @default.
• W2092181779 cites W1600588339 @default.
• W2092181779 cites W1847080621 @default.
• W2092181779 cites W1949275316 @default.
• W2092181779 cites W1975082667 @default.
• W2092181779 cites W1986402635 @default.
• W2092181779 cites W2010273585 @default.
• W2092181779 cites W2032234226 @default.
• W2092181779 cites W2033339909 @default.
• W2092181779 cites W2065324910 @default.
• W2092181779 cites W2078516859 @default.
• W2092181779 cites W2083981960 @default.
• W2092181779 cites W2089225705 @default.
• W2092181779 cites W2091657052 @default.
• W2092181779 cites W2095631859 @default.
• W2092181779 cites W2147567862 @default.
• W2092181779 cites W2166559785 @default.
• W2092181779 cites W2180471721 @default.
• W2092181779 cites W4237428230 @default.
• W2092181779 doi "https://doi.org/10.4204/eptcs.113.11" @default.
• W2092181779 hasPublicationYear "2013" @default.
• W2092181779 type Work @default.
• W2092181779 sameAs 2092181779 @default.
• W2092181779 citedByCount "2" @default.
• W2092181779 countsByYear W20921817792014 @default.
• W2092181779 countsByYear W20921817792015 @default.
• W2092181779 crossrefType "journal-article" @default.
• W2092181779 hasAuthorship W2092181779A5037039482 @default.
• W2092181779 hasAuthorship W2092181779A5077893110 @default.
• W2092181779 hasBestOaLocation W20921817791 @default.
• W2092181779 hasConcept C108710211 @default.
• W2092181779 hasConcept C111472728 @default.
• W2092181779 hasConcept C114408938 @default.
• W2092181779 hasConcept C114614502 @default.
• W2092181779 hasConcept C135790938 @default.
• W2092181779 hasConcept C138885662 @default.
• W2092181779 hasConcept C154945302 @default.
• W2092181779 hasConcept C177264268 @default.
• W2092181779 hasConcept C182620335 @default.
• W2092181779 hasConcept C184337299 @default.
• W2092181779 hasConcept C18903297 @default.
• W2092181779 hasConcept C189950617 @default.
• W2092181779 hasConcept C191399111 @default.
• W2092181779 hasConcept C199343813 @default.
• W2092181779 hasConcept C199360897 @default.
• W2092181779 hasConcept C203265346 @default.
• W2092181779 hasConcept C20528804 @default.
• W2092181779 hasConcept C2524010 @default.
• W2092181779 hasConcept C2777299769 @default.
• W2092181779 hasConcept C2777686260 @default.
• W2092181779 hasConcept C33923547 @default.
• W2092181779 hasConcept C35390924 @default.
• W2092181779 hasConcept C39387531 @default.
• W2092181779 hasConcept C41008148 @default.
• W2092181779 hasConcept C60048249 @default.
• W2092181779 hasConcept C71924100 @default.
• W2092181779 hasConcept C80444323 @default.
• W2092181779 hasConcept C83852419 @default.
• W2092181779 hasConcept C86803240 @default.
• W2092181779 hasConcept C93682546 @default.
• W2092181779 hasConceptScore W2092181779C108710211 @default.
• W2092181779 hasConceptScore W2092181779C111472728 @default.
• W2092181779 hasConceptScore W2092181779C114408938 @default.
• W2092181779 hasConceptScore W2092181779C114614502 @default.
• W2092181779 hasConceptScore W2092181779C135790938 @default.
• W2092181779 hasConceptScore W2092181779C138885662 @default.
• W2092181779 hasConceptScore W2092181779C154945302 @default.
• W2092181779 hasConceptScore W2092181779C177264268 @default.
• W2092181779 hasConceptScore W2092181779C182620335 @default.
• W2092181779 hasConceptScore W2092181779C184337299 @default.
• W2092181779 hasConceptScore W2092181779C18903297 @default.
• W2092181779 hasConceptScore W2092181779C189950617 @default.
• W2092181779 hasConceptScore W2092181779C191399111 @default.
• W2092181779 hasConceptScore W2092181779C199343813 @default.
• W2092181779 hasConceptScore W2092181779C199360897 @default.
• W2092181779 hasConceptScore W2092181779C203265346 @default.
• W2092181779 hasConceptScore W2092181779C20528804 @default.
• W2092181779 hasConceptScore W2092181779C2524010 @default.
• W2092181779 hasConceptScore W2092181779C2777299769 @default.
• W2092181779 hasConceptScore W2092181779C2777686260 @default.
• W2092181779 hasConceptScore W2092181779C33923547 @default.
• W2092181779 hasConceptScore W2092181779C35390924 @default.
• W2092181779 hasConceptScore W2092181779C39387531 @default.
• W2092181779 hasConceptScore W2092181779C41008148 @default.
• W2092181779 hasConceptScore W2092181779C60048249 @default.
• W2092181779 hasConceptScore W2092181779C71924100 @default.
• W2092181779 hasConceptScore W2092181779C80444323 @default.
• W2092181779 hasConceptScore W2092181779C83852419 @default.
• W2092181779 hasConceptScore W2092181779C86803240 @default.
• W2092181779 hasConceptScore W2092181779C93682546 @default.

• next