bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Tesi di Dottorato

Maietti, Maria Emilia
Teoria dei tipi di universi categoriali
Dottorato in Matematica conseguito nel 1999 presso l'Università di Padova. Ciclo 9.
Relatore/i: Giovanni Sambin
Sunto della tesi (pubblicato sul Bollettino)

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