Two results on set-theoretic polymorphism (1991)

by W Phoa
Venue:Category Theory and Computer Science, LNCS 530