Sign in

Linear Higher-Order Pre-Unification.

Iliano CervesatoFrank Pfenning
Published in: LICS (1997)
Keyphrases