A characterization of terms of the <i>λI</i>-calculus having a normal form (Q4404859)
From MaRDI portal
scientific article; zbMATH DE number 3438818
Language | Label | Description | Also known as |
---|---|---|---|
English | A characterization of terms of the <i>λI</i>-calculus having a normal form |
scientific article; zbMATH DE number 3438818 |
Statements
A characterization of terms of the <i>λI</i>-calculus having a normal form (English)
0 references
1973
0 references