Pages that link to "Item:Q861365"

The following pages link to Choices in representation and reduction strategies for lambda terms in intensional contexts (Q861365):

Displaying 3 items.

• A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966) (← links)