Technical reports
Categorical logic
May 1995, 94 pages
DOI: 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
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} }