Toward a minimalist foundation for constructive mathematics ME Maietti, G Sambin From Sets and Types to Topology and Analysis: Practicable Foundations for …, 2005 | 131 | 2005 |

A minimalist two-level foundation for constructive mathematics ME Maietti arXiv preprint arXiv:0811.2774, 2008 | 108 | 2008 |

Quotient completion for the foundation of constructive mathematics ME Maietti, G Rosolini Logica Universalis 7, 371-402, 2013 | 86 | 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 | 78 | 2005 |

Elementary quotient completion ME Maietti, G Rosolini arXiv preprint arXiv:1206.0162, 2012 | 77 | 2012 |

Unifying exact completions ME Maietti, G Rosolini Applied Categorical Structures 23, 43-52, 2015 | 64 | 2015 |

Relating categorical semantics for intuitionistic linear logic ME Maietti, P Maneggia, V De Paiva, E Ritter Applied categorical structures 13, 1-36, 2005 | 44 | 2005 |

About effective quotients in constructive type theory ME Maietti International Workshop on Types for Proofs and Programs, 166-178, 1998 | 39 | 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 | 36 | 1999 |

Triposes, exact completions, and Hilbert's ε-operator ME Maietti, F Pasquali, G Rosolini | 34 | 2017 |

JOYAL'S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC PRETOPOS. ME Maietti Theory & Applications of Categories 24, 2010 | 34 | 2010 |

Convergence in formal topology: a unifying notion F Ciraulo, ME Maietti, G Sambin arXiv preprint arXiv:1211.0720, 2012 | 33 | 2012 |

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 | 23 | 2004 |

The type theory of categorical universes ME Maietti PhD thesis, Universita Delgi Studi di Padova, 1998 | 23 | 1998 |

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 | 21 | 2018 |

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 |

Relating quotient completions via categorical logic ME Maietti, G Rosolini Concepts of proof in mathematics, philosophy, and computer science, 229-250, 2016 | 17 | 2016 |

On choice rules in dependent type theory ME Maietti Theory and Applications of Models of Computation: 14th Annual Conference …, 2017 | 14 | 2017 |

Predicative exponentiation of locally compact formal topologies over inductively generated topologies ME Maietti From Sets and Types to Topology and Analysis: Towards Practicable …, 2005 | 13 | 2005 |