<i>Theoretical Pearls</i>Enumerators of lambda terms are reducing (Q4763984)
From MaRDI portal
scientific article; zbMATH DE number 749801
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | <i>Theoretical Pearls</i>Enumerators of lambda terms are reducing |
scientific article; zbMATH DE number 749801 |
Statements
<i>Theoretical Pearls</i>Enumerators of lambda terms are reducing (English)
0 references
20 July 1995
0 references
reducing enumerator
0 references
closed \(\lambda\)-term
0 references
