Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203)
From MaRDI portal
scientific article; zbMATH DE number 6156011
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comparing Calculi of Explicit Substitutions with Eta-reduction |
scientific article; zbMATH DE number 6156011 |
Statements
Comparing Calculi of Explicit Substitutions with Eta-reduction (English)
0 references
19 April 2013
0 references
calculi of explicit substitutions
0 references
lambda-calculi
0 references
eta reduction
0 references
