Two results on set-theoretic polymorphism
2005 ◽
pp. 219-235
◽