Maria Emilia Maietti
Original record- Institution
- Università degli Studi di Padova
- Year
- 1998
- Country
- Italy
- MGP identifier
- 51222
Dissertation: The Type Theory of Categorical Universes
Advisor 1
- Giovanni SambinInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Pietro Sabelli | Universiteit Franeker - Università di Padova | 2024 | 0 |