TY  - BOOK
AU  - Abramsky, Samson.
TI  - Introduction to Categories and Categorical Logic
PY  - 2011///
UR  - http://arxiv.org/pdf/1102.1313v1.pdf
ER  -