Polymorphic Recursion and Semi-Unification (1989)

by Hans Lei
Venue:Proc. 3rd Workshop on Comp. Sci. Logic, CSL'89, LNCS 440