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
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
0 references