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

by A J Kfoury
Venue:Information and Computation