On the algebraic models of lambda calculus (Q1583488)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the algebraic models of lambda calculus
scientific article

    Statements

    On the algebraic models of lambda calculus (English)
    0 references
    26 October 2000
    0 references
    0 references
    lambda calculus
    0 references
    lambda abstraction algebras
    0 references
    combinatory algebras
    0 references
    infinitary lambda calculus
    0 references
    universal algebra
    0 references
    0 references