Categorical Logic (2001)
by
S. Abramsky
,
D. M. Gabbay
,
T. S. E. Maibaum (eds
,
Andrew M. Pitts
,
Andrew M. Pitts
| Citations: | 1 - 0 self |
BibTeX
@MISC{Abramsky01categoricallogic,
author = {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum (eds and Andrew M. Pitts and Andrew M. Pitts},
title = {Categorical Logic},
year = {2001}
}
OpenURL
Abstract
This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists.







