@InCollection{PittsAM:catl,
  author =	 {A. M. Pitts},
  title =	 {Categorical Logic},
  booktitle =	 {Handbook of Logic in Computer Science, Volume
                  5. Algebraic and Logical Structures},
  publisher =	 {Oxford University Press},
  year =	 2000,
  pages =	 {39--128},
  chapter =	 2,
  editor =	 {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  isbn =	 {0-19-853781-6},
  url =		 {http://www.oup.co.uk/isbn/0-19-853781-6}
}