Maria Emilia Maietti

	2007
10		Maria Emilia Maietti: Quotients over Minimal Type Theory. CiE 2007: 517-531
	2005
9		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		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		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		Maria Emilia Maietti, Silvio Valentini: Exponentiation of Scott Formal Topologies. Electr. Notes Theor. Comput. Sci. 73: 111-131 (2004)
	2002
5		Maria Emilia Maietti: Joyal's arithmetic universes via type theory. Electr. Notes Theor. Comput. Sci. 69: (2002)
	2000
4		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		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

Coauthor Index

1	Paola Maneggia	[9]
2	Valeria de Paiva	[4] [9]
3	Eike Ritter	[4] [9]
4	Silvio Valentini	[3] [6]

Colors in the list of coauthors