Department of Computer Science and Technology

Technical reports

Categorical logic

Andrew M. Pitts

May 1995, 94 pages

DOIhttps://doi.org/10.48456/tr-367

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 = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-367.ps.gz},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-367},
  number = 	 {UCAM-CL-TR-367}
}