Pages that link to "Item:Q1129257"
From MaRDI portal
The following pages link to A notation for lambda terms. A generalization of environments (Q1129257):
Displaying 7 items.
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations (Q4916200) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
