Maria Emilia Maietti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2017
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | TAMC | On Choice Rules in Dependent Type Theory. | Maria Emilia Maietti |
| 2007 | CiE | Quotients over Minimal Type Theory. | Maria Emilia Maietti |
| 2000 | FOSSACS | Categorical Models for Intuitionistic and Linear Type Theory. | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter |