Pages that link to "Item:Q1335136"
From MaRDI portal
The following pages link to Eta-conversion for the languages of explicit substitutions (Q1335136):
Displaying 6 items.
- Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions (Q1575247) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Erratum: Eta-conversion for the languages of explicit substitutions (Q1894580) (← links)
- Explicit substitutions calculi with one step Eta-reduction decided explicitly (Q3653146) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- Foundations of Software Science and Computational Structures (Q5705901) (← links)