The semantics of second order polymorphic lambda calculus (1984)

by K B Bruce, A R Meyer
Venue:Semantics of Data Types