The following pages link to (Q4259974):
Displaying 6 items.
- Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- Lambda-calculus with director strings (Q1778107) (← links)
- Comparing and implementing calculi of explicit substitutions with eta-reduction (Q1779307) (← links)
- Comparing Calculi of Explicit Substitutions with Eta-reduction (Q4916203) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
