First-order identities as a defining language (Q1135108)

From MaRDI portal
scientific article
Language Label Description Also known as
English
First-order identities as a defining language
scientific article

    Statements

    First-order identities as a defining language (English)
    0 references
    0 references
    1980
    0 references
    data type
    0 references
    algebraic approach
    0 references
    first-order identities as a specification language
    0 references
    denotational and operational semantics
    0 references
    lambda-calculus interpreter
    0 references

    Identifiers