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},
     zbl = {0317.02077},
     mrnumber = {373893},
     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/

[1] R. Diaconescu, Axiom of choice and complementation., Proc. Amer. Math. Soc, 51 (1975), 176-178. | MR | Zbl

[2] A. Joyal and I. Moerdijk, Algebraic set theory, Cambridge University Press - Lecture Note Series, 220 (1995). | DOI | MR | Zbl

[3] J. Lambek and P.J. Scott, An introduction to higher order categorical logic, Cambridge University Press - Studies in Advanced Mathematics, 7 (1986). | MR | Zbl

[4] M.E. Maietti, The internal type theory of an Heyting Pretopos, Proceedings of Types '96 - LNCS, editors E. Gimenez, C. Paulin-Mohring (1997). | Zbl

[5] P. Martin-Löf, An intuitionistic theory of types: predicative part., Logic Colloquium 1973 - H.E. Rose and J.C. Shepherdson, Amsterdam (1975), 73-118. | MR | Zbl

[6] B. Nordström, K. Peterson and J. Smith, Programming in Martin Löf's Type Theory., Clarendon Press, Oxford (1990). | Zbl