Toward a minimalist foundation for constructive mathematics ME Maietti, G Sambin From Sets and Types to Topology and Analysis: Practicable Foundations for …, 2005 | 144 | 2005 |
A minimalist two-level foundation for constructive mathematics ME Maietti Annals of pure and applied logic 160 (3), 319-354, 2009 | 121 | 2009 |
Quotient completion for the foundation of constructive mathematics ME Maietti, G Rosolini Logica Universalis 7, 371-402, 2013 | 103 | 2013 |
Modular correspondence between dependent type theories and categories including pretopoi and topoi ME Maietti Mathematical Structures in Computer Science 15 (6), 1089-1149, 2005 | 89 | 2005 |
Elementary quotient completion ME Maietti, G Rosolini arXiv preprint arXiv:1206.0162, 2012 | 87 | 2012 |
Unifying exact completions ME Maietti, G Rosolini Applied Categorical Structures 23, 43-52, 2015 | 72 | 2015 |
Relating categorical semantics for intuitionistic linear logic ME Maietti, P Maneggia, V De Paiva, E Ritter Applied categorical structures 13, 1-36, 2005 | 45 | 2005 |
Triposes, exact completions, and Hilbert's ε-operator ME Maietti, F Pasquali, G Rosolini | 40 | 2017 |
JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS. ME Maietti Theory & Applications of Categories 24, 2010 | 40 | 2010 |
About effective quotients in constructive type theory ME Maietti International Workshop on Types for Proofs and Programs, 166-178, 1998 | 40 | 1998 |
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? ME Maietti, S Valentini Mathematical Logic Quarterly 45 (4), 521-532, 1999 | 35 | 1999 |
Convergence in formal topology: a unifying notion F Ciraulo, ME Maietti, G Sambin arXiv preprint arXiv:1211.0720, 2012 | 34 | 2012 |
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 | 27 | 2018 |
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 | 25 | 2004 |
The type theory of categorical universes ME Maietti PhD thesis, University of Padova, 1998 | 23 | 1998 |
Relating quotient completions via categorical logic ME Maietti, G Rosolini Concepts of proof in mathematics, philosophy, and computer science, 229-250, 2016 | 20 | 2016 |
On choice rules in dependent type theory ME Maietti Theory and Applications of Models of Computation: 14th Annual Conference …, 2017 | 19 | 2017 |
An induction principle for consequence in arithmetic universes ME Maietti, S Vickers Journal of Pure and Applied Algebra 216 (8-9), 2049-2067, 2012 | 18 | 2012 |
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 | 18 | 2000 |
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 | 15 | 2021 |