Categorical Logic Export

@incollection{citeulike:253615, abstract = {This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists.}, address = {Oxford}, author = {Pitts, Andrew M.}, booktitle = {Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures}, citeulike-article-id = {253615}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.9970}, editor = {Abramsky, S. and Gabbay, D. M. and Maibaum, T. S. E.}, keywords = {category-theory, logic}, posted-at = {2005-08-16 05:26:43}, priority = {4}, publisher = {Clarendon Press}, title = {Categorical Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.9970}, year = {2001} }

TY - CHAP ID - citeulike:253615 L3 - citeulike-article-id:253615 N2 - This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists. AD - Oxford TI - Categorical Logic PB - Clarendon Press T2 - Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures KW - category-theory KW - logic AU - Pitts, Andrew A2 - Abramsky, S A2 - Gabbay, DM A2 - Maibaum, TSE PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.9970 ER -