| |
| 2007 | ||
|---|---|---|
| 10 | EE | Maria Emilia Maietti: Quotients over Minimal Type Theory. CiE 2007: 517-531 |
| 2005 | ||
| 9 | EE | Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005) |
| 8 | EE | Maria Emilia Maietti: Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. Electr. Notes Theor. Comput. Sci. 122: 105-126 (2005) |
| 7 | EE | Maria Emilia Maietti: Modular correspondence between dependent type theories and categories including pretopoi and topoi. Mathematical Structures in Computer Science 15(6): 1089-1149 (2005) |
| 2004 | ||
| 6 | EE | Maria Emilia Maietti, Silvio Valentini: Exponentiation of Scott Formal Topologies. Electr. Notes Theor. Comput. Sci. 73: 111-131 (2004) |
| 2002 | ||
| 5 | EE | Maria Emilia Maietti: Joyal's arithmetic universes via type theory. Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 2000 | ||
| 4 | EE | Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237 |
| 1999 | ||
| 3 | Maria Emilia Maietti, Silvio Valentini: Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? Math. Log. Q. 45: 521-532 (1999) | |
| 1998 | ||
| 2 | EE | Maria Emilia Maietti: About Effective Quotients in Constructive Type Theory. TYPES 1998: 164-178 |
| 1996 | ||
| 1 | Maria Emilia Maietti: The Internal Type Theory of a Heyting Pretopos. TYPES 1996: 216-235 | |
| 1 | Paola Maneggia | [9] |
| 2 | Valeria de Paiva | [4] [9] |
| 3 | Eike Ritter | [4] [9] |
| 4 | Silvio Valentini | [3] [6] |