Type reconstruction in finite rank fragments of secondorder lambda calculus (1992)

by AJ Kfoury, J Tiuryn
Venue:Information and Computation