No label defined (Q4692468)
From MaRDI portal
scientific article; zbMATH DE number 194511
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 194511 |
Statements
5 June 1993
0 references
Logical foundations of functional programming
0 references
typed \(\lambda \) -calculus. categorical abstract machine
0 references
polymorphism
0 references
constructive type theory
0 references
