No label defined (Q4722037)

From MaRDI portal
scientific article; zbMATH DE number 3993540
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 3993540

    Statements

    0 references
    0 references
    1986
    0 references
    0 references
    0 references
    0 references
    0 references
    combinatory logic
    0 references
    lambda calculus
    0 references
    models
    0 references
    type assignment
    0 references