Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970779642> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1970779642 endingPage "582" @default.
- W1970779642 startingPage "559" @default.
- W1970779642 abstract "We present an introduction to infinitary lambda calculus, highlighting its main properties. Subsequently we give three applications of infinitary lambda calculus. The first addresses the non-definability of Surjective Pairing, which was shown by the first author not to be definable in lambda calculus. We show how this result follows easily as an application of Berry’s Sequentiality Theorem, which itself can be proved in the setting of infinitary lambda calculus. The second pertains to the notion of relative recursiveness of number-theoretic functions. The third application concerns an explanation of counterexamples to confluence of lambda calculus extended with non-left-linear reduction rules: Adding non-left-linear reduction rules such as δxx→x or the reduction rules for Surjective Pairing to the lambda calculus yields non-confluence, as proved by the second author. We discuss how an extension to the infinitary lambda calculus, where Böhm trees can be directly manipulated as infinite terms, yields a more simple and intuitive explanation of the correctness of these Church-Rosser counterexamples." @default.
- W1970779642 created "2016-06-24" @default.
- W1970779642 creator A5013710541 @default.
- W1970779642 creator A5016150987 @default.
- W1970779642 date "2009-05-01" @default.
- W1970779642 modified "2023-10-18" @default.
- W1970779642 title "Applications of infinitary lambda calculus" @default.
- W1970779642 cites W1480979627 @default.
- W1970779642 cites W1492737256 @default.
- W1970779642 cites W1518395686 @default.
- W1970779642 cites W1567308204 @default.
- W1970779642 cites W1918523847 @default.
- W1970779642 cites W1965289955 @default.
- W1970779642 cites W1968168625 @default.
- W1970779642 cites W2006468185 @default.
- W1970779642 cites W2007270285 @default.
- W1970779642 cites W2070032247 @default.
- W1970779642 cites W2084072743 @default.
- W1970779642 cites W2084745607 @default.
- W1970779642 cites W2084776839 @default.
- W1970779642 cites W2087086022 @default.
- W1970779642 cites W2088482003 @default.
- W1970779642 cites W2088941870 @default.
- W1970779642 cites W2097311580 @default.
- W1970779642 cites W2101016798 @default.
- W1970779642 cites W2104073699 @default.
- W1970779642 cites W2118002604 @default.
- W1970779642 cites W4210515731 @default.
- W1970779642 doi "https://doi.org/10.1016/j.ic.2008.09.003" @default.
- W1970779642 hasPublicationYear "2009" @default.
- W1970779642 type Work @default.
- W1970779642 sameAs 1970779642 @default.
- W1970779642 citedByCount "18" @default.
- W1970779642 countsByYear W19707796422012 @default.
- W1970779642 countsByYear W19707796422014 @default.
- W1970779642 countsByYear W19707796422015 @default.
- W1970779642 countsByYear W19707796422016 @default.
- W1970779642 countsByYear W19707796422017 @default.
- W1970779642 countsByYear W19707796422018 @default.
- W1970779642 crossrefType "journal-article" @default.
- W1970779642 hasAuthorship W1970779642A5013710541 @default.
- W1970779642 hasAuthorship W1970779642A5016150987 @default.
- W1970779642 hasBestOaLocation W19707796422 @default.
- W1970779642 hasConcept C11413529 @default.
- W1970779642 hasConcept C118615104 @default.
- W1970779642 hasConcept C119238805 @default.
- W1970779642 hasConcept C120665830 @default.
- W1970779642 hasConcept C121332964 @default.
- W1970779642 hasConcept C135790938 @default.
- W1970779642 hasConcept C142156749 @default.
- W1970779642 hasConcept C162838799 @default.
- W1970779642 hasConcept C199343813 @default.
- W1970779642 hasConcept C2777686260 @default.
- W1970779642 hasConcept C2778113609 @default.
- W1970779642 hasConcept C33923547 @default.
- W1970779642 hasConcept C55439883 @default.
- W1970779642 hasConcept C61237538 @default.
- W1970779642 hasConcept C71924100 @default.
- W1970779642 hasConcept C77736955 @default.
- W1970779642 hasConceptScore W1970779642C11413529 @default.
- W1970779642 hasConceptScore W1970779642C118615104 @default.
- W1970779642 hasConceptScore W1970779642C119238805 @default.
- W1970779642 hasConceptScore W1970779642C120665830 @default.
- W1970779642 hasConceptScore W1970779642C121332964 @default.
- W1970779642 hasConceptScore W1970779642C135790938 @default.
- W1970779642 hasConceptScore W1970779642C142156749 @default.
- W1970779642 hasConceptScore W1970779642C162838799 @default.
- W1970779642 hasConceptScore W1970779642C199343813 @default.
- W1970779642 hasConceptScore W1970779642C2777686260 @default.
- W1970779642 hasConceptScore W1970779642C2778113609 @default.
- W1970779642 hasConceptScore W1970779642C33923547 @default.
- W1970779642 hasConceptScore W1970779642C55439883 @default.
- W1970779642 hasConceptScore W1970779642C61237538 @default.
- W1970779642 hasConceptScore W1970779642C71924100 @default.
- W1970779642 hasConceptScore W1970779642C77736955 @default.
- W1970779642 hasIssue "5" @default.
- W1970779642 hasLocation W19707796421 @default.
- W1970779642 hasLocation W19707796422 @default.
- W1970779642 hasOpenAccess W1970779642 @default.
- W1970779642 hasPrimaryLocation W19707796421 @default.
- W1970779642 hasRelatedWork W1633106243 @default.
- W1970779642 hasRelatedWork W1970779642 @default.
- W1970779642 hasRelatedWork W2101274322 @default.
- W1970779642 hasRelatedWork W2153006281 @default.
- W1970779642 hasRelatedWork W2373977992 @default.
- W1970779642 hasRelatedWork W2569291564 @default.
- W1970779642 hasRelatedWork W4230977852 @default.
- W1970779642 hasRelatedWork W62459810 @default.
- W1970779642 hasRelatedWork W811489916 @default.
- W1970779642 hasRelatedWork W2785405191 @default.
- W1970779642 hasVolume "207" @default.
- W1970779642 isParatext "false" @default.
- W1970779642 isRetracted "false" @default.
- W1970779642 magId "1970779642" @default.
- W1970779642 workType "article" @default.