Pages that link to "Item:Q2480966"

The following pages link to Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions (Q2480966):

Displaying 4 items.

• Restricted combinatory unification (Q2305407) (← links)
• Unification via the  se-style of explicit substitutions (Q2743636) (← links)
• Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
• A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)