TY  - JOUR
AU  - Maria Emilia Maietti
TI  - Joyal's arithmetic universe as list-arithmetic pretopos
JO  - Theory and applications of categories
PY  - 2010
SP  - 39
EP  - 83
VL  - 24
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2010_24_a2/
LA  - en
ID  - TAC_2010_24_a2
ER  -