Adding algebraic rewriting to the untyped lambda calculus (Q1207945)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Adding algebraic rewriting to the untyped lambda calculus
scientific article

    Statements

    Adding algebraic rewriting to the untyped lambda calculus (English)
    0 references
    16 May 1993
    0 references
    algebraic rewriting
    0 references
    untyped lambda calculus
    0 references
    termination
    0 references
    confluence
    0 references
    polymorphic lambda calculus
    0 references

    Identifiers