|  | |||||||||
Categorical Logic
A chapter in the forthcoming Volume VI of
Handbook of Logic in Computer Science
S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds), Oxford University Press
Andrew M. Pitts
Cambridge University Computer Laboratory
Cambridge CB2 3QG, UK
18 May 1995