Pages that link to "Item:Q1129257"

The following pages link to A notation for lambda terms. A generalization of environments (Q1129257):

Displaying 3 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)