Strong normalization of barrecursive terms without using infinite terms (Q3739119)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong normalization of barrecursive terms without using infinite terms |
scientific article |
Statements
Strong normalization of barrecursive terms without using infinite terms (English)
0 references
1985
0 references
strong normalization theorem
0 references
barrecursive terms
0 references
functionals of finite type
0 references
