CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Categorical Logic

by: Andrew M. Pitts

edited by: S. Abramsky, D. M. Gabbay, T. S. E. Maibaum

In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)

X Abstract

This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists.

View the full article here:

CiteSeerX Beta

This article has been bookmarked 23 times, initially on 2005-07-13.

2009-11-06 User ama08r
2009-03-19 User jorisslob
2008-02-19 User ps_ttf
2008-01-03 User mmarcus
2007-04-12 User janschaefer
Group TU-KL-SoftwareTechnologyGroup
2007-04-06 User glaubersp
2006-09-29 User scis0000001
2006-08-28 User xiemaisi
Group AS-IIS_ReadingGroup
2006-07-26 User keigoi
2006-07-05 User kaqui
2006-04-20 User dmitri83
User aleks
Group Compilers
2006-03-29 User ryanc
2005-08-16 User wasi
User zednenem
2005-08-11 User jrw
2005-08-10 User dalev
Group NU-PRL
2005-07-13 User schaal
User tautologico
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.