Polymorphism is set theoretic, constructively (1987)

by A M Pitts
Venue:University of Susssex, School of Mathematical and Physical Sciences/Computer Science