No label defined (Q4263863)
From MaRDI portal
scientific article; zbMATH DE number 1342274
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1342274 |
Statements
21 November 1999
0 references
lambda calculus
0 references
counting algorithm
0 references
number of \(\lambda\)-terms
0 references
\(\beta\)-normal form
0 references
principal type
0 references