Pages that link to "Item:Q2367541"

The following pages link to Higher-order unification via combinators (Q2367541):

Displaying 8 items.

• A combinatory logic approach to higher-order E-unification (Q673971) (← links)
• Higher order unification via explicit substitutions (Q1854337) (← links)
• Restricted combinatory unification (Q2305407) (← links)
• Unification for $$\lambda $$ -calculi Without Propagation Rules (Q3179400) (← links)
• (Q4989394) (← links)
• (Q5028439) (← links)
• Superposition with lambdas (Q5919500) (← links)
• Higher-order matching for program transformation (Q5958614) (← links)