No label defined (Q3936712)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1980
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    lambda conversion
    0 references
    motivation
    0 references
    replies to criticisms of combinatory logic
    0 references
    substitution
    0 references
    combinators
    0 references
    Church-Rosser theorem
    0 references
    combinatory arithmetic
    0 references
    illative combinatory logic
    0 references
    realizations
    0 references
    representations
    0 references
    equality
    0 references
    assertion
    0 references
    0 references