Pages that link to "Item:Q4924548"
From MaRDI portal
The following pages link to Explicit Substitutions à la de Bruijn (Q4924548):
Displaying 4 items.
- A prismoid framework for languages with resources (Q654907) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)