The semantics of second-order polymorphic lambda calculus (1984)

by K B Bruce, A R Meyer
Venue:Proc. Conf. on Semantics of Data Types, Sophia-Antipolis, 1984, Springer LNCS 173