Stratified polymorphism and primitive recursion (Q4704766)
From MaRDI portal
scientific article; zbMATH DE number 1369695
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stratified polymorphism and primitive recursion |
scientific article; zbMATH DE number 1369695 |
Statements
Stratified polymorphism and primitive recursion (English)
0 references
4 May 2000
0 references
Grzegorczyk hierarchy
0 references
second-order lambda calculus
0 references
type abstraction
0 references
numeric functions
0 references
primitive recursive functions
0 references
