R.Meyer: The semantics of second order polymorphic lambda calculus (1984)

by K B Bruce
Venue:in Sematics of Data Types, G.Kahn, D.B.MacQueen and G.Plotkin Ed. Lecture Notes in Computer Science 173