Applications of infinitary lambda calculus (Q1021568)
From MaRDI portal
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
