Applications of infinitary lambda calculus
type: Item
instance of: scholarly article
title: Applications of infinitary lambda calculus
zbMATH Open document ID: 1167.03010
author: Jan Willem Klop
author: Henk Barendregt
published in: Information and Computation
publication date: 2009-06-08T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/75183
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5562791
zbMATH Keywords: surjective pairing
zbMATH Keywords: Berry's sequentiality theorem
zbMATH Keywords: Böhm trees
MaRDI profile type: Publication
OpenAlex ID: W1970779642
cites work: Full abstraction in the lazy lambda calculus
cites work: Q4023900
cites work: Q4890709
cites work: Lambda calculus with explicit recursion
cites work: Pairing Without Conventional Restraints
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Applications of Plotkin-terms: partitions and morphisms for closed terms
cites work: Q4896520
cites work: Q3837724
cites work: Descendants and origins in term rewriting.
cites work: Q5287527
cites work: Reduction Under Substitution
cites work: Non-existent Statman's double fixed point combinator does not exist, indeed
cites work: Infinitary rewriting: meta-theory and convergence
cites work: Infinitary lambda calculi and böhm models
cites work: Infinitary lambda calculus
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
cites work: Transfinite reductions in orthogonal term rewriting systems
cites work: Term Rewriting and Applications
cites work: Recursive Functionals and Quantifiers of Finite Types II
cites work: Q3012528
cites work: Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
cites work: LCF considered as a programming language
cites work: Q4109652
cites work: Q4799892
cites work: Conditional linearization
DOI: 10.1016/J.IC.2008.09.003
Recommended article: Infinitary lambda calculus
Recommended article: Q4890393
Recommended article: The Intensional Lambda Calculus
Recommended article: Infinitary Lambda Calculi from a Linear Perspective
Recommended article: Highlights in infinitary rewriting and lambda calculus
Recommended article: Finitary Corecursion for the Infinitary Lambda Calculus
Recommended article: Infinite \(\lambda\)-calculus and types
Recommended article: A calculus of lambda calculus contexts
Recommended article: Lambda calculus and intuitionistic linear logic
Recommended article: Rewriting Techniques and Applications
description: scientific article; zbMATH DE number 5562791