No label defined (Q4991956)
From MaRDI portal
scientific article; zbMATH DE number 7355443
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7355443 |
Statements
4 June 2021
0 references
lambda calculus
0 references
lambda model
0 references
applicative structure
0 references
complete partial order
0 references
combinatorial completeness
0 references
0 references
