Numeration Models of λ‐Calculus (Q4722039)
From MaRDI portal
scientific article; zbMATH DE number 3993542
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Numeration Models of λ‐Calculus |
scientific article; zbMATH DE number 3993542 |
Statements
Numeration Models of λ‐Calculus (English)
0 references
1985
0 references
lambda calculus
0 references
numeration models
0 references
morphisms
0 references
numerated reflexive set
0 references
category of numerations
0 references
