Eta-conversion for the languages of explicit substitutions (Q1335136)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eta-conversion for the languages of explicit substitutions
scientific article

    Statements

    Eta-conversion for the languages of explicit substitutions (English)
    0 references
    0 references
    27 September 1994
    0 references
    This paper shows that the \(\lambda \sigma\)-calculus (i.e. the \(\lambda\)- calculus with explicit substitutions) remains both confluent and ground confluent when a rule corresponding to the \(\eta\)-reduction rule is added.
    0 references
    eta-conversion
    0 references
    confluence
    0 references
    \(\lambda\)-calculus with explicit substitutions
    0 references

    Identifiers