bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 41-44

Referenza completa

Maietti, Maria Emilia:
Teoria dei tipi di universi categoriali
Bollettino dell'Unione Matematica Italiana Serie 8 2-A (1999) —La Matematica nella Società e nella Cultura, fasc. n.1S —Supplemento Tesi di Dottorato, p. 41-44, Unione Matematica Italiana (Italian)
pdf (747 Kb), djvu (98 Kb).

Referenze Bibliografiche
[1] R. DIACONESCU, Axiom of choice and complementation., Proc. Amer. Math. Soc, 51 (1975), 176-178. | MR 373893 | Zbl 0317.02077
[2] A. JOYAL and I. MOERDIJK, Algebraic set theory, Cambridge University Press - Lecture Note Series, 220 (1995). | fulltext (doi) | MR 1368403 | Zbl 0847.03025
[3] J. LAMBEK and P.J. SCOTT, An introduction to higher order categorical logic, Cambridge University Press - Studies in Advanced Mathematics, 7 (1986). | MR 856915 | Zbl 0596.03002
[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 0927.03087
[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 387009 | Zbl 0334.02016
[6] B. NORDSTRÖM, K. PETERSON and J. SMITH, Programming in Martin Löf's Type Theory., Clarendon Press, Oxford (1990). | Zbl 0744.03029
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 41-44

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali