Unique normal forms for lambda calculus with surjective pairing (Q1117204)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unique normal forms for lambda calculus with surjective pairing
scientific article

    Statements

    Unique normal forms for lambda calculus with surjective pairing (English)
    0 references
    0 references
    0 references
    1989
    0 references
    Some extensions of lambda calculus with surjective pairing constants and axioms are investigated and some new results concerning consistency and conservativity of the respective extension and the normal form property and unique normal form property are obtained. Several remaining problems to be solved are stated.
    0 references
    confluence
    0 references
    term rewriting systems
    0 references
    extensions of lambda calculus
    0 references
    surjective pairing
    0 references
    normal form
    0 references
    0 references

    Identifiers