Maria Emilia Maietti

	2011
13		Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini: Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM 2011: 278-280
	2009
12		Maria Emilia Maietti: A minimalist two-level foundation for constructive mathematics. Ann. Pure Appl. Logic 160(3): 319-354 (2009)
	2007
11		Maria Emilia Maietti: Quotients over Minimal Type Theory. CiE 2007: 517-531
	2005
10		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)
9		Maria Emilia Maietti: Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. Electr. Notes Theor. Comput. Sci. 122: 105-126 (2005)
8		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
7		Maria Emilia Maietti, Silvio Valentini: Exponentiation of Scott Formal Topologies. Electr. Notes Theor. Comput. Sci. 73: 111-131 (2004)
6		Maria Emilia Maietti, Silvio Valentini: A structural investigation on formal topology: coreflection of formal covers and exponentiability. J. Symb. Log. 69(4): 967-1005 (2004)
	2002
5		Maria Emilia Maietti: Joyal's arithmetic universes via type theory. Electr. Notes Theor. Comput. Sci. 69: 272-286 (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	Andrea Asperti	[13]
2	Claudio Sacerdoti Coen	[13]
3	Paola Maneggia	[10]
4	Valeria de Paiva	[4] [10]
5	Eike Ritter	[4] [10]
6	Giovanni Sambin	[13]
7	Silvio Valentini	[3] [6] [7] [13]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page