Follow
Maria Emilia Maietti
Maria Emilia Maietti
Full Professor, University of Padova
Verified email at math.unipd.it - Homepage
Title
Cited by
Cited by
Year
Toward a minimalist foundation for constructive mathematics
ME Maietti, G Sambin
From Sets and Types to Topology and Analysis: Practicable Foundations for …, 2005
1442005
A minimalist two-level foundation for constructive mathematics
ME Maietti
Annals of pure and applied logic 160 (3), 319-354, 2009
1212009
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7, 371-402, 2013
1032013
Modular correspondence between dependent type theories and categories including pretopoi and topoi
ME Maietti
Mathematical Structures in Computer Science 15 (6), 1089-1149, 2005
892005
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
872012
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23, 43-52, 2015
722015
Relating categorical semantics for intuitionistic linear logic
ME Maietti, P Maneggia, V De Paiva, E Ritter
Applied categorical structures 13, 1-36, 2005
452005
Triposes, exact completions, and Hilbert's ε-operator
ME Maietti, F Pasquali, G Rosolini
402017
JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS.
ME Maietti
Theory & Applications of Categories 24, 2010
402010
About effective quotients in constructive type theory
ME Maietti
International Workshop on Types for Proofs and Programs, 166-178, 1998
401998
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
ME Maietti, S Valentini
Mathematical Logic Quarterly 45 (4), 521-532, 1999
351999
Convergence in formal topology: a unifying notion
F Ciraulo, ME Maietti, G Sambin
arXiv preprint arXiv:1211.0720, 2012
342012
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
H Ishihara, ME Maietti, S Maschio, T Streicher
Archive for Mathematical Logic 57 (7), 873-888, 2018
272018
A structural investigation on formal topology: coreflection of formal covers and exponentiability
ME Maietti, S Valentini
The Journal of Symbolic Logic 69 (4), 967-1005, 2004
252004
The type theory of categorical universes
ME Maietti
PhD thesis, University of Padova, 1998
231998
Relating quotient completions via categorical logic
ME Maietti, G Rosolini
Concepts of proof in mathematics, philosophy, and computer science, 229-250, 2016
202016
On choice rules in dependent type theory
ME Maietti
Theory and Applications of Models of Computation: 14th Annual Conference …, 2017
192017
An induction principle for consequence in arithmetic universes
ME Maietti, S Vickers
Journal of Pure and Applied Algebra 216 (8-9), 2049-2067, 2012
182012
Categorical models for intuitionistic and linear type theory
ME Maietti, V De Paiva, E Ritter
International Conference on Foundations of Software Science and Computation …, 2000
182000
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
ME Maietti, S Maschio, M Rathjen
Logical Methods in Computer Science 17, 2021
152021
The system can't perform the operation now. Try again later.
Articles 1–20