%0 Book Section %1 citeulike:253615 %A Pitts, Andrew M. %B Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures %C Oxford %D 2001 %E Abramsky, S. %E Gabbay, D. M. %E Maibaum, T. S. E. %I Clarendon Press %K no-tag %T Categorical Logic %U http://citeseer.ist.psu.edu/pitts01categorical.html %X This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists.

@incollection{citeulike:253615, abstract = {This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists.}, added-at = {2007-07-06T10:33:42.000+0200}, address = {Oxford}, author = {Pitts, Andrew M.}, biburl = {https://www.bibsonomy.org/bibtex/2d87d69933aa2725736d39ad4d46c36e5/schaal}, booktitle = {Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures}, citeulike-article-id = {253615}, editor = {Abramsky, S. and Gabbay, D. M. and Maibaum, T. S. E.}, interhash = {38e5dfdb3238a8626c99bfcd51484218}, intrahash = {d87d69933aa2725736d39ad4d46c36e5}, keywords = {no-tag}, priority = {2}, publisher = {Clarendon Press}, timestamp = {2007-07-06T10:33:49.000+0200}, title = {Categorical Logic}, url = {http://citeseer.ist.psu.edu/pitts01categorical.html}, year = 2001 }