Maria Emilia Maietti

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 13

Top Topics

Mathematical Foundations

Global Consistency

Inductive Concept Learning

Top Venues

Log. Methods Comput. Sci.

Ann. Pure Appl. Log.

Appl. Categorical Struct.

Publications

Michele Contente, Maria Emilia Maietti
The compatibility of the minimalist foundation with homotopy type theory. Theor. Comput. Sci. 991 (2024)
Maria Emilia Maietti, Pietro Sabelli
A topological counterpart of well-founded trees in dependent type theory. CoRR (2023)
Maria Emilia Maietti, Davide Trotta
A characterization of generalized existential completions. Ann. Pure Appl. Log. 174 (4) (2023)
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice. Log. Methods Comput. Sci. 18 (4) (2022)
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice. Log. Methods Comput. Sci. 17 (2) (2021)
Maria Emilia Maietti, Samuele Maschio
A Predicative variant of Hyland's Effective Topos. J. Symb. Log. 86 (2) (2021)
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Log. Methods Comput. Sci. 15 (2) (2019)
Thierry Coquand, Maria Emilia Maietti, Erik Palmgren
Preface to the special issue for The Fifth Workshop on Formal Topology. J. Log. Anal. 11 (2019)
Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. Arch. Math. Log. 57 (7-8) (2018)
Maria Emilia Maietti
On Choice Rules in Dependent Type Theory. TAMC (2017)
Maria Emilia Maietti, Samuele Maschio
A Predicative Variant of a Realizability Tripos for the Minimalist Foundation. FLAP 3 (4) (2016)
Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster
Preface. Ann. Pure Appl. Log. 167 (9) (2016)
Maria Emilia Maietti, Giuseppe Rosolini
Unifying Exact Completions. Appl. Categorical Struct. 23 (1) (2015)
Maria Emilia Maietti, Samuele Maschio
An Extensional Kleene Realizability Semantics for the Minimalist Foundation. TYPES (2014)
Maria Emilia Maietti, Giuseppe Rosolini
Quotient Completion for the Foundation of Constructive Mathematics. Logica Universalis 7 (3) (2013)
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Convergence in formal topology: a unifying notion. J. Log. Anal. 5 (2013)
Francesco Ciraulo, Maria Emilia Maietti, Paola Toto
Constructive version of Boolean algebra. Log. J. IGPL 21 (1) (2013)
Maria Emilia Maietti, Giuseppe Rosolini
Unifying exact completions CoRR (2012)
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)
Maria Emilia Maietti
A minimalist two-level foundation for constructive mathematics. Ann. Pure Appl. Log. 160 (3) (2009)
Maria Emilia Maietti
Quotients over Minimal Type Theory. CiE (2007)
Maria Emilia Maietti
Modular correspondence between dependent type theories and categories including pretopoi and topoi. Math. Struct. Comput. Sci. 15 (6) (2005)
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13 (1) (2005)
Maria Emilia Maietti, Silvio Valentini
A structural investigation on formal topology: coreflection of formal covers and exponentiability. J. Symb. Log. 69 (4) (2004)
Maria Emilia Maietti
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. CTCS (2004)
Maria Emilia Maietti, Silvio Valentini
Exponentiation of Scott Formal Topologies. Electron. Notes Theor. Comput. Sci. 73 (2004)
Maria Emilia Maietti
Joyal's arithmetic universes via type theory. CTCS (2002)
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS (2000)
Maria Emilia Maietti, Silvio Valentini
Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? Math. Log. Q. 45 (1999)
Maria Emilia Maietti
About Effective Quotients in Constructive Type Theory. TYPES (1998)
Maria Emilia Maietti
The Internal Type Theory of a Heyting Pretopos. TYPES (1996)