Decidability of the restriction equational theory in the partial lambda calculus (Q1120561)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability of the restriction equational theory in the partial lambda calculus
scientific article

    Statements

    Decidability of the restriction equational theory in the partial lambda calculus (English)
    0 references
    1989
    0 references
    equational theory
    0 references
    partial \(\lambda \) -calculus
    0 references
    0 references

    Identifiers