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
1312005
A minimalist two-level foundation for constructive mathematics
ME Maietti
arXiv preprint arXiv:0811.2774, 2008
1082008
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7, 371-402, 2013
862013
Modular correspondence between dependent type theories and categories including pretopoi and topoi
ME Maietti
Mathematical Structures in Computer Science 15 (6), 1089-1149, 2005
782005
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
772012
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23, 43-52, 2015
642015
Relating categorical semantics for intuitionistic linear logic
ME Maietti, P Maneggia, V De Paiva, E Ritter
Applied categorical structures 13, 1-36, 2005
442005
About effective quotients in constructive type theory
ME Maietti
International Workshop on Types for Proofs and Programs, 166-178, 1998
391998
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
ME Maietti, S Valentini
Mathematical Logic Quarterly 45 (4), 521-532, 1999
361999
Triposes, exact completions, and Hilbert's ε-operator
ME Maietti, F Pasquali, G Rosolini
342017
JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS.
ME Maietti
Theory & Applications of Categories 24, 2010
342010
Convergence in formal topology: a unifying notion
F Ciraulo, ME Maietti, G Sambin
arXiv preprint arXiv:1211.0720, 2012
332012
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
232004
The type theory of categorical universes
ME Maietti
PhD thesis, Universita Delgi Studi di Padova, 1998
231998
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-8), 873-888, 2018
212018
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
Relating quotient completions via categorical logic
ME Maietti, G Rosolini
Concepts of proof in mathematics, philosophy, and computer science, 229-250, 2016
172016
On choice rules in dependent type theory
ME Maietti
Theory and Applications of Models of Computation: 14th Annual Conference …, 2017
142017
Predicative exponentiation of locally compact formal topologies over inductively generated topologies
ME Maietti
From Sets and Types to Topology and Analysis: Towards Practicable …, 2005
132005
The system can't perform the operation now. Try again later.
Articles 1–20