@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}
}