No label defined (Q4488199)
From MaRDI portal
scientific article; zbMATH DE number 1469885
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1469885 |
Statements
4 July 2000
0 references
combinator
0 references
lambda calculus
0 references
Curry-Howard correspondence
0 references
ordinal number
0 references
subrecursive hierarchy
0 references
proof theory
0 references
computability
0 references
