The infinitary lambda calculus of the infinite eta Böhm trees (Q5269002)
From MaRDI portal
scientific article; zbMATH DE number 6731040
Language | Label | Description | Also known as |
---|---|---|---|
English | The infinitary lambda calculus of the infinite eta Böhm trees |
scientific article; zbMATH DE number 6731040 |
Statements
The infinitary lambda calculus of the infinite eta Böhm trees (English)
0 references
14 June 2017
0 references
infinitary lambda calculus
0 references
infinite eta Böhm trees
0 references
models of lambda calculus
0 references
0 references