Principal type schemes and -calculus semantics (1980)

by M Coppo, M Dezani-Ciancaglini, B Venneri
Venue:Essays in combinatory logic, lambda-calculus and formalism