Linear Higher-Order Pre-Unification.

Iliano Cervesato, Frank Pfenning

Browse the full LICS paper archive.