No label defined (Q4945227)
From MaRDI portal
scientific article; zbMATH DE number 1424037
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1424037 |
Statements
1999
0 references
closed reductions
0 references
\(\lambda\)-calculus
0 references
calculus of explicit substitutions
0 references