The Relation Between Second-Order Unification and Simultaneous Rigid

Margus Veanes

Browse the full LICS paper archive.