Login / Signup

Ramified Higher-Order Unification.

Jean Goubault-Larrecq
Published in: LICS (1997)
Keyphrases