Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms (Q1050334)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
scientific article

    Statements

    Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms (English)
    0 references
    0 references
    1983
    0 references
    0 references
    lambda-calculus
    0 references
    combinatory logic
    0 references
    models
    0 references
    0 references