%0 Journal Article
%A Maria Emilia Maietti
%T Joyal's arithmetic universe as list-arithmetic pretopos
%J Theory and applications of categories
%D 2010
%P 39-83
%V 24
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2010_24_a2/
%G en
%F TAC_2010_24_a2