Computer Laboratory

Technical reports

Categorical logic

Andrew M. Pitts

May 1995, 94 pages


This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists. It will be a chapter in the forthcoming Volume VI of: S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds), “Handbook of Logic in Computer Science”, Oxford University Press.

Full text

PS (0.3 MB)
DVI (0.1 MB)

BibTeX record

  author =	 {Pitts, Andrew M.},
  title = 	 {{Categorical logic}},
  year = 	 1995,
  month = 	 may,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-367}