No label defined (Q4274979)
From MaRDI portal
scientific article; zbMATH DE number 482822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 482822 |
Statements
15 December 1993
0 references
pure lambda-calculus
0 references
combinatory logic
0 references
models
0 references
type systems
0 references
