Polymorphism is Set Theoretic, Constructively, Category Theory and Computer (1987)

by A Pitts
Venue:Science, Lecture Notes in Computer Science 283