Axiomatizing Fully Complete Models for ML Polymorphic Types
S. Abramsky and M. Lenisa
Book Title
Proceedings of the International Symposium on Mathematical Foundations of Computer Science
Editor
M. Nielsen and B. Rovan
Pages
141−151
Publisher
Springer−Verlag
Series
Springer Lecture Notes in Computer Science
Volume
1893
Year
2000