1986] "The semantics of second order polymorphic lambdacalculus, " to appear (Preliminary version (0)

by K Bruce, A Meyer, J Mitchell
Venue:Symposium on Semantics of Data Types (Kahn, MacQueen, Plotkin eds.), LNCS 173, Springer-Verlag