Lazy Lambda calculus: Theories, models and local structure characterization (Q5204341)
From MaRDI portal
scientific article; zbMATH DE number 7139655
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lazy Lambda calculus: Theories, models and local structure characterization |
scientific article; zbMATH DE number 7139655 |
Statements
Lazy Lambda calculus: Theories, models and local structure characterization (English)
0 references
4 December 2019
0 references
applicative structure
0 references
proof system
0 references
graph function
0 references
functional programming
0 references
lambda calculus
0 references
