Principal type schemes and lambda calculus semantics (1980)

by M Coppo, M Dezani-Ciancaglini, B Venneri
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism