Categorical logic. Unpublished Manuscript. Available at http://hypatia.dcs.qmw.ac.uk/authors/P/PittsAM (1995)

by A M Pitts