Eta-conversion for the languages of explicit substitutions (Q1335136)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Eta-conversion for the languages of explicit substitutions |
scientific article; zbMATH DE number 645136
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Eta-conversion for the languages of explicit substitutions |
scientific article; zbMATH DE number 645136 |
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
0.95374906
0 references
0.85979986
0 references
0.8543078
0 references
0.8420828
0 references
0.8323619
0 references
0.8282276
0 references
0 references
