An example of a non adequate numeral system (Q4717168)
From MaRDI portal
scientific article; zbMATH DE number 952081
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An example of a non adequate numeral system |
scientific article; zbMATH DE number 952081 |
Statements
15 June 1997
0 references
lambda calculus
0 references
closed \(\lambda\)-terms
0 references
numeral system
0 references
normal forms
0 references
math.LO
0 references
