Teoria dei tipi di universi categoriali
Maietti, Maria Emilia
Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999), p. 41-44 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)
Publié le : 1999-01-01
@article{BUMI_1999_8_2A_1S_41_0,
     author = {Maria Emilia Maietti},
     title = {Teoria dei tipi di universi categoriali},
     journal = {Bollettino dell'Unione Matematica Italiana},
     volume = {2-A},
     year = {1999},
     pages = {41-44},
     language = {it},
     url = {http://dml.mathdoc.fr/item/BUMI_1999_8_2A_1S_41_0}
}

Maietti, Maria Emilia. Teoria dei tipi di universi categoriali. Bollettino dell'Unione Matematica Italiana, Tome 2-A (1999) pp. 41-44. http://gdmltest.u-ga.fr/item/BUMI_1999_8_2A_1S_41_0/

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

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

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

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

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

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