Unification and Anti-Unification in the Calculus of Constructions

Frank Pfenning

Browse the full LICS paper archive.