Applications of infinitary lambda calculus (Q1021568): Difference between revisions
From MaRDI portal
Latest revision as of 15:54, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Applications of infinitary lambda calculus |
scientific article |
Statements
Applications of infinitary lambda calculus (English)
0 references
8 June 2009
0 references
surjective pairing
0 references
Berry's sequentiality theorem
0 references
Böhm trees
0 references