TY  - JOUR
AU  - Maietti, Maria Emilia
TI  - Teoria dei tipi di universi categoriali
JO  - Bollettino della Unione matematica italiana
PY  - 1999
SP  - 41
EP  - 44
VL  - 2A
IS  - 1S
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a9/
LA  - it
ID  - BUMI_1999_8_2A_1S_a9
ER  -