@inproceedings{paper58,
  author = "S. Abramsky and M. Lenisa",
  booktitle = "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",
  title = "A Fully Complete {PER} Model for {ML} Polymorphic Types",
  volume = "1862",
  year = "2000",
}