A Unification Algorithm for Typed l-Calculus (1975)

by G P Huet
Venue:Theoretical Computer Science