Dl-Dom,øins as & Model of Polymorphism (0)

by Coquand Thierr¡ Carl Gunter, Glynn \Minskel
Venue:in 'Third. International Conference on the Mathematical Foundations of Program*itrg Semantics', Springer Verlag, Lecture Notes in Computer Science