Polymorphism is not set-theoretic," in Semantics of Data Types (1984)

by John C Reynolds
Venue:Lecture Notes in Computer Science #173