%0 Journal Article
%A Claudio Pisani
%T A logic for categories
%J Theory and applications of categories
%D 2010
%P 394-417
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2010_24_a14/
%G en
%F TAC_2010_24_a14