%0 Journal Article
%A Jean Bénabou
%A Thomas Streicher
%T Partial Toposes
%J Theory and applications of categories
%D 2003
%P 309-320
%V 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2003_11_a12/
%G en
%F TAC_2003_11_a12