A Unification Algorithm for Typed Lambda Calculus (1975)

by G Huet
Venue:Theoretical Computer Science