Variable binding term operators in \(\lambda\)-calculus (Q5967003)
From MaRDI portal
scientific article; zbMATH DE number 3632439
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable binding term operators in \(\lambda\)-calculus |
scientific article; zbMATH DE number 3632439 |
Statements
Variable binding term operators in \(\lambda\)-calculus (English)
0 references
1979
0 references
Lambda Calculus
0 references
Variable Binding Term Operator
0 references
