Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982157045> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1982157045 endingPage "818" @default.
- W1982157045 startingPage "773" @default.
- W1982157045 abstract "We present an induction principle for pure type systems and use that principle to define CPS translations and to solve the problem of expansion postponement for a large class of pure type systems. Our principle strengthens and generalises similar principles by Dowek et al. [12] and Barthe et al. [6], which have been respectively used to define η -long normal forms and CPS translations for the systems of Barendregt's λ -cube [2,3]." @default.
- W1982157045 created "2016-06-24" @default.
- W1982157045 creator A5015166077 @default.
- W1982157045 creator A5018982940 @default.
- W1982157045 creator A5037366569 @default.
- W1982157045 date "2001-09-01" @default.
- W1982157045 modified "2023-09-24" @default.
- W1982157045 title "An induction principle for pure type systems" @default.
- W1982157045 cites W145869046 @default.
- W1982157045 cites W1533293692 @default.
- W1982157045 cites W1538467230 @default.
- W1982157045 cites W1580682610 @default.
- W1982157045 cites W1589690886 @default.
- W1982157045 cites W1595372275 @default.
- W1982157045 cites W1608879454 @default.
- W1982157045 cites W1971128176 @default.
- W1982157045 cites W1974190112 @default.
- W1982157045 cites W1986402635 @default.
- W1982157045 cites W2044758536 @default.
- W1982157045 cites W2051134825 @default.
- W1982157045 cites W2088735483 @default.
- W1982157045 cites W2090541423 @default.
- W1982157045 cites W2118612811 @default.
- W1982157045 cites W2134435552 @default.
- W1982157045 cites W2154273644 @default.
- W1982157045 cites W2160283637 @default.
- W1982157045 cites W2398461955 @default.
- W1982157045 cites W2402296188 @default.
- W1982157045 cites W267417 @default.
- W1982157045 doi "https://doi.org/10.1016/s0304-3975(00)00373-x" @default.
- W1982157045 hasPublicationYear "2001" @default.
- W1982157045 type Work @default.
- W1982157045 sameAs 1982157045 @default.
- W1982157045 citedByCount "0" @default.
- W1982157045 crossrefType "journal-article" @default.
- W1982157045 hasAuthorship W1982157045A5015166077 @default.
- W1982157045 hasAuthorship W1982157045A5018982940 @default.
- W1982157045 hasAuthorship W1982157045A5037366569 @default.
- W1982157045 hasConcept C11413529 @default.
- W1982157045 hasConcept C127413603 @default.
- W1982157045 hasConcept C136119220 @default.
- W1982157045 hasConcept C154945302 @default.
- W1982157045 hasConcept C18903297 @default.
- W1982157045 hasConcept C199343813 @default.
- W1982157045 hasConcept C202444582 @default.
- W1982157045 hasConcept C21547014 @default.
- W1982157045 hasConcept C2777212361 @default.
- W1982157045 hasConcept C2777299769 @default.
- W1982157045 hasConcept C2777686260 @default.
- W1982157045 hasConcept C2779466795 @default.
- W1982157045 hasConcept C33923547 @default.
- W1982157045 hasConcept C41008148 @default.
- W1982157045 hasConcept C71924100 @default.
- W1982157045 hasConcept C86803240 @default.
- W1982157045 hasConceptScore W1982157045C11413529 @default.
- W1982157045 hasConceptScore W1982157045C127413603 @default.
- W1982157045 hasConceptScore W1982157045C136119220 @default.
- W1982157045 hasConceptScore W1982157045C154945302 @default.
- W1982157045 hasConceptScore W1982157045C18903297 @default.
- W1982157045 hasConceptScore W1982157045C199343813 @default.
- W1982157045 hasConceptScore W1982157045C202444582 @default.
- W1982157045 hasConceptScore W1982157045C21547014 @default.
- W1982157045 hasConceptScore W1982157045C2777212361 @default.
- W1982157045 hasConceptScore W1982157045C2777299769 @default.
- W1982157045 hasConceptScore W1982157045C2777686260 @default.
- W1982157045 hasConceptScore W1982157045C2779466795 @default.
- W1982157045 hasConceptScore W1982157045C33923547 @default.
- W1982157045 hasConceptScore W1982157045C41008148 @default.
- W1982157045 hasConceptScore W1982157045C71924100 @default.
- W1982157045 hasConceptScore W1982157045C86803240 @default.
- W1982157045 hasIssue "1-2" @default.
- W1982157045 hasLocation W19821570451 @default.
- W1982157045 hasOpenAccess W1982157045 @default.
- W1982157045 hasPrimaryLocation W19821570451 @default.
- W1982157045 hasRelatedWork W1560139384 @default.
- W1982157045 hasRelatedWork W1996319902 @default.
- W1982157045 hasRelatedWork W2082170961 @default.
- W1982157045 hasRelatedWork W2101026640 @default.
- W1982157045 hasRelatedWork W2349865494 @default.
- W1982157045 hasRelatedWork W2372553222 @default.
- W1982157045 hasRelatedWork W2951496844 @default.
- W1982157045 hasRelatedWork W2962682765 @default.
- W1982157045 hasRelatedWork W3101673024 @default.
- W1982157045 hasRelatedWork W4245102737 @default.
- W1982157045 hasVolume "266" @default.
- W1982157045 isParatext "false" @default.
- W1982157045 isRetracted "false" @default.
- W1982157045 magId "1982157045" @default.
- W1982157045 workType "article" @default.