@inproceedings{paper61,
  author = "S. Abramsky and M. Lenisa",
  booktitle = "CSL 2001 Conference Proceedings",
  pages = "442-457",
  series = "Springer {LNCS}",
  title = "Fully Complete Minimal {PER} Models for the Simply Typed {\lambda}-calculus",
  volume = "2142",
  year = "2001",
}