TY  - JOUR
AU  - Claudio Pisani
TI  - A logic for categories
JO  - Theory and applications of categories
PY  - 2010
SP  - 394
EP  - 417
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/
LA  - en
ID  - TAC_2010_24_a14
ER  -