Principal type schemes and λ-calculus semantics (1980)

by M Coppo, M Dezani-Ciancaglini, B Venneri
Venue:Essays on Combinatory Logic, Lambda Calculus and Formalism