1987] "Polymorphism is set-theoretic, constructively (0)

by A Pitts
Venue:Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitt et al. eds