@inproceedings{paper59,
  author = "S. Abramsky and M. Lenisa",
  booktitle = "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",
  title = "Axiomatizing Fully Complete Models for {ML} Polymorphic Types",
  volume = "1893",
  year = "2000",
}