Maximal sharing in the Lambda calculus with letrec (Q2819667)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Maximal sharing in the Lambda calculus with letrec
scientific article

    Statements

    Maximal sharing in the Lambda calculus with letrec (English)
    0 references
    0 references
    0 references
    29 September 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    higher-order term graphs
    0 references
    lambda calculus with letrec
    0 references
    maximal sharing
    0 references
    subterm sharing
    0 references
    unfolding semantics
    0 references
    0 references
    0 references