Maria Emilia Maietti

36 papers B 2C 2Journal 23Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Equiconsistency of the Minimalist Foundation with its classical version.
Ann. Pure Appl. Log.
Maria Emilia Maietti, Pietro Sabelli
2025 J jnl
Preface to the special issue for the 75th birthday of Dieter Spreen.
J. Log. Anal.
Maria Emilia Maietti, Ning Zhong
2024 J jnl
Preface: Advances in Homotopy Type Theory.
Math. Struct. Comput. Sci.
Thorsten Altenkirch, Benno van den Berg, Nicola Gambino, Maria Emilia Maietti
2024 J jnl
The compatibility of the minimalist foundation with homotopy type theory.
Theor. Comput. Sci.
Michele Contente, Maria Emilia Maietti
2023 J jnl
A characterization of generalized existential completions.
Ann. Pure Appl. Log.
Maria Emilia Maietti, Davide Trotta
2023 B conf
A topological counterpart of well-founded trees in dependent type theory.
MFPS
Maria Emilia Maietti, Pietro Sabelli
2022 J jnl
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2021 J jnl
A Predicative variant of Hyland's Effective Topos.
J. Symb. Log.
Maria Emilia Maietti, Samuele Maschio
2021 J jnl
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
2019 J jnl
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies.
Log. Methods Comput. Sci.
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
2019 J jnl
Preface to the special issue for The Fifth Workshop on Formal Topology.
J. Log. Anal.
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
2018 J jnl
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice.
Arch. Math. Log.
Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
2017 C conf
On Choice Rules in Dependent Type Theory.
TAMC
Maria Emilia Maietti
2016 J jnl
A Predicative Variant of a Realizability Tripos for the Minimalist Foundation.
FLAP
Maria Emilia Maietti, Samuele Maschio
2016 J jnl
Preface.
Ann. Pure Appl. Log.
Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster
2015 J jnl
Unifying Exact Completions.
Appl. Categorical Struct.
Maria Emilia Maietti, Giuseppe Rosolini
2014 — conf
An Extensional Kleene Realizability Semantics for the Minimalist Foundation.
TYPES
Maria Emilia Maietti, Samuele Maschio
2013 J jnl
Constructive version of Boolean algebra.
Log. J. IGPL
Francesco Ciraulo, Maria Emilia Maietti, Paola Toto
2013 J jnl
Convergence in formal topology: a unifying notion.
J. Log. Anal.
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
2013 J jnl
Quotient Completion for the Foundation of Constructive Mathematics.
Logica Universalis
Maria Emilia Maietti, Giuseppe Rosolini
2012 J jnl
Unifying exact completions
CoRR
Maria Emilia Maietti, Giuseppe Rosolini
2011 — conf
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.
Calculemus/MKM
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
2009 J jnl
A minimalist two-level foundation for constructive mathematics.
Ann. Pure Appl. Log.
Maria Emilia Maietti
2007 C conf
Quotients over Minimal Type Theory.
CiE
Maria Emilia Maietti
2005 J jnl
Modular correspondence between dependent type theories and categories including pretopoi and topoi.
Math. Struct. Comput. Sci.
Maria Emilia Maietti
2005 — ch.
Predicative exponentiation of locally compact formal topologies over inductively generated ones.
From sets and types to topology and analysis
Maria Emilia Maietti
2005 J jnl
Relating Categorical Semantics for Intuitionistic Linear Logic.
Appl. Categorical Struct.
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
2005 — ch.
Toward a minimalistic foundation for constructive mathematics.
From sets and types to topology and analysis
Maria Emilia Maietti, Giovanni Sambin
2004 J jnl
A structural investigation on formal topology: coreflection of formal covers and exponentiability.
J. Symb. Log.
Maria Emilia Maietti, Silvio Valentini
2004 — conf
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe.
CTCS
Maria Emilia Maietti
2002 — conf
Exponentiation of Scott Formal Topologies.
Workshop on Domains
Maria Emilia Maietti, Silvio Valentini
2002 — conf
Joyal's arithmetic universes via type theory.
CTCS
Maria Emilia Maietti
2000 B conf
Categorical Models for Intuitionistic and Linear Type Theory.
FoSSaCS
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
1999 J jnl
Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?
Math. Log. Q.
Maria Emilia Maietti, Silvio Valentini
1998 — conf
About Effective Quotients in Constructive Type Theory.
TYPES
Maria Emilia Maietti
1996 — conf
The Internal Type Theory of a Heyting Pretopos.
TYPES
Maria Emilia Maietti