The Internal Type Theory of a Heyting Pretopos. - Maria Emilia Maietti (TYPES, 1996)

About Effective Quotients in Constructive Type Theory. - Maria Emilia Maietti (TYPES, 1998)

Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? - Maria Emilia Maietti; Silvio Valentini (Math. Log. Q., 1999)

Categorical Models for Intuitionistic and Linear Type Theory. - Maria Emilia Maietti; Valeria de Paiva; Eike Ritter (FoSSaCS, 2000)

Joyal's arithmetic universes via type theory. - Maria Emilia Maietti (CTCS, 2002)

Exponentiation of Scott Formal Topologies. - Maria Emilia Maietti; Silvio Valentini (Workshop on Domains, 2002)

Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. - Maria Emilia Maietti (CTCS, 2004)

A structural investigation on formal topology: coreflection of formal covers and exponentiability. - Maria Emilia Maietti; Silvio Valentini (J. Symb. Log., 2004)

Predicative exponentiation of locally compact formal topologies over inductively generated ones. - Maria Emilia Maietti (From sets and types to topology and analysis, 2005)

Toward a minimalistic foundation for constructive mathematics. - Maria Emilia Maietti; Giovanni Sambin (From sets and types to topology and analysis, 2005)

Relating Categorical Semantics for Intuitionistic Linear Logic. - Maria Emilia Maietti; Paola Maneggia; Valeria de Paiva; Eike Ritter (Appl. Categorical Struct., 2005)

Modular correspondence between dependent type theories and categories including pretopoi and topoi. - Maria Emilia Maietti (Math. Struct. Comput. Sci., 2005)

Quotients over Minimal Type Theory. - Maria Emilia Maietti (CiE, 2007)

A minimalist two-level foundation for constructive mathematics. - Maria Emilia Maietti (Ann. Pure Appl. Log., 2009)

Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. - Andrea Asperti; Maria Emilia Maietti; Claudio Sacerdoti Coen; Giovanni Sambin; Silvio Valentini (Calculemus/MKM, 2011)

Constructive version of Boolean algebra. - Francesco Ciraulo; Maria Emilia Maietti; Paola Toto (Log. J. IGPL, 2013)

Convergence in formal topology: a unifying notion. - Francesco Ciraulo; Maria Emilia Maietti; Giovanni Sambin (J. Log. Anal., 2013)

Quotient Completion for the Foundation of Constructive Mathematics. - Maria Emilia Maietti; Giuseppe Rosolini (Logica Universalis, 2013)

An Extensional Kleene Realizability Semantics for the Minimalist Foundation. - Maria Emilia Maietti; Samuele Maschio (TYPES, 2014)

Unifying Exact Completions. - Maria Emilia Maietti; Giuseppe Rosolini (Appl. Categorical Struct., 2015)

Preface. - Thierry Coquand; Maria Emilia Maietti; Giovanni Sambin; Peter Schuster 001 (Ann. Pure Appl. Log., 2016)

A Predicative Variant of a Realizability Tripos for the Minimalist Foundation. - Maria Emilia Maietti; Samuele Maschio (FLAP, 2016)

On Choice Rules in Dependent Type Theory. - Maria Emilia Maietti (TAMC, 2017)

Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. - Hajime Ishihara; Maria Emilia Maietti; Samuele Maschio; Thomas Streicher (Arch. Math. Log., 2018)

Preface to the special issue for The Fifth Workshop on Formal Topology. - Thierry Coquand; Maria Emilia Maietti; Erik Palmgren (J. Log. Anal., 2019)

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. - Maria Emilia Maietti; Fabio Pasquali; Giuseppe Rosolini (Log. Methods Comput. Sci., 2019)

A Predicative variant of Hyland's Effective Topos. - Maria Emilia Maietti; Samuele Maschio (J. Symb. Log., 2021)

A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice. - Maria Emilia Maietti; Samuele Maschio; Michael Rathjen (Log. Methods Comput. Sci., 2021)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. - Maria Emilia Maietti; Samuele Maschio; Michael Rathjen (Log. Methods Comput. Sci., 2022)

A topological counterpart of well-founded trees in dependent type theory. - Maria Emilia Maietti; Pietro Sabelli (MFPS, 2023)

A characterization of generalized existential completions. - Maria Emilia Maietti; Davide Trotta (Ann. Pure Appl. Log., 2023)

Preface: Advances in Homotopy Type Theory. - Thorsten Altenkirch; Benno van den Berg; Nicola Gambino; Maria Emilia Maietti (Math. Struct. Comput. Sci., 2024)

The compatibility of the minimalist foundation with homotopy type theory. - Michele Contente; Maria Emilia Maietti (Theor. Comput. Sci., 2024)

Equiconsistency of the Minimalist Foundation with its classical version. - Maria Emilia Maietti; Pietro Sabelli (Ann. Pure Appl. Log., 2025)

Preface to the special issue for the 75th birthday of Dieter Spreen. - Maria Emilia Maietti; Ning Zhong 002 (J. Log. Anal., 2025)