A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus (Q1786610)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus
scientific article

    Statements

    A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus (English)
    0 references
    0 references
    24 September 2018
    0 references
    \(\lambda\beta\eta\)-calculus
    0 references
    leftmost reduction theorem
    0 references
    parallel reduction
    0 references

    Identifiers