Computer Laboratory

Technical reports

Categorical logic

Andrew M. Pitts

May 1995, 94 pages

Abstract

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

@TechReport{UCAM-CL-TR-367,
  author =	 {Pitts, Andrew M.},
  title = 	 {{Categorical logic}},
  year = 	 1995,
  month = 	 may,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-367.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-367}
}