A Fully Complete PER Model for ML Polymorphic Types
S. Abramsky and M. Lenisa
Book Title
Proceedings of the Fourteenth International Workshop on Computer Science Logic
Editor
P. Clote and H. Schwichtenberg
Pages
140−155
Publisher
Springer−Verlag
Series
Springer Lecture Notes in Computer Science
Volume
1862
Year
2000