Polymorphic types, fixedpoint combinators and continuous lambda models (1987)

by M Dezani-Ciancaglini, I Margaria
Venue:in: Formal Description of Programming Concepts III