@inproceedings{PavlovicD:LAFT,
  author = "Dusko Pavlovic",
  booktitle = "Category Theory 1991, Proceedings of an International Summer Category Theory Meeting",
  editor = "R.A.G.~Seely",
  pages = "361--367",
  publisher = "American Mathematical Society",
  series = "CMS Conference Proceedings",
  title = "A logical view on the Adjoint Functor Theorem",
  volume = "13",
  year = "1992",
}