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
    0 references
    1979
    0 references
    0 references
    Lambda Calculus
    0 references
    Variable Binding Term Operator
    0 references
    0 references