Geodesic
Teoria dei tipi di universi categoriali
Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 41-44

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{BUMI_1999_8_2A_1S_a9,
     author = {Maietti, Maria Emilia},
     title = {Teoria dei tipi di universi categoriali},
     journal = {Bollettino della Unione matematica italiana},
     pages = {41--44},
     publisher = {mathdoc},
     volume = {Ser. 8, 2A},
     number = {1S},
     year = {1999},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a9/}
}
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  - 
%0 Journal Article
%A Maietti, Maria Emilia
%T Teoria dei tipi di universi categoriali
%J Bollettino della Unione matematica italiana
%D 1999
%P 41-44
%V 2A
%N 1S
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a9/
%G it
%F BUMI_1999_8_2A_1S_a9
Maietti, Maria Emilia. Teoria dei tipi di universi categoriali. Bollettino della Unione matematica italiana, Série 8, 2A (1999) no. 1S, pp. 41-44. http://geodesic.mathdoc.fr/item/BUMI_1999_8_2A_1S_a9/