Introduction to categories and categorical logic

Lecture Notes in Physics

Volumn 813, Issue , 2011, Pages 3-94

  Abramsky, S ^a   Tzevelekos, N ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79251503597     PISSN: 00758450     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-12821-9_1     Document Type: Review

References (11)

1. Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Publications CRM, Montreal (1999) 94
2. Borceux, F.: Handbook of Categorical Algebra Volumes 1-3. Cambridge University Press, Cambridge (1994) 94
3. Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1989) 94
4. Goldblatt, R.: Topoi, the Categorial Analysis of Logic. North-Holland, Amsterdam (1984). Reprinted by Dover Books, 2006. 94
5. Herrlich, H., Strecker, G.: Category Theory, 3rd edn. Heldermann, Berline (2007) 94
6. Lambek, J., Scott, P.J.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986) 94
7. Lawvere, F., Schanuel, S.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997) 94
8. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998) 94
9. Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York (1994) 94
10. Pierce, B.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991) 94
11. Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Elsevier, New York (2006) 94