| Publication | Date of Publication | Type |
|---|
| Equiconsistency of the minimalist foundation with its classical version | 2024-12-12 | Paper |
| Quotients, pure existential completions and arithmetic universes | 2024-08-27 | Paper |
| The compatibility of the minimalist foundation with homotopy type theory | 2024-03-01 | Paper |
| The Minimalist Foundation and Bishop’s Constructive Mathematics | 2023-08-11 | Paper |
| A characterization of generalized existential completions | 2023-02-15 | Paper |
| Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice | 2023-01-09 | Paper |
| Quasitoposes as elementary quotient completions | 2021-11-30 | Paper |
| Generalized existential completions and their regular and exact completions | 2021-11-06 | Paper |
| A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS | 2021-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009707 | 2021-08-05 | Paper |
| Relating quotient completions via categorical logic | 2020-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4968383 | 2019-07-12 | Paper |
| A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice | 2019-05-28 | Paper |
| Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice | 2019-01-14 | Paper |
| A predicative variant of Hyland's Effective Topos | 2018-06-22 | Paper |
| Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies | 2018-02-18 | Paper |
| Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator | 2017-12-08 | Paper |
| An extensional Kleene realizability semantics for the Minimalist Foundation | 2017-07-12 | Paper |
| On choice rules in dependent type theory | 2017-05-19 | Paper |
| Why topology in the minimalist foundation must be pointfree | 2015-04-09 | Paper |
| Unifying exact completions | 2015-02-05 | Paper |
| Quotient completion for the foundation of constructive mathematics | 2013-11-19 | Paper |
| Elementary quotient completion | 2013-10-25 | Paper |
| Exponentiation of Scott formal topologies | 2013-10-10 | Paper |
| Reflection into models of finite decidable FP-sketches in an arithmetic universe | 2013-09-20 | Paper |
| Joyal's arithmetic universes via type theory | 2013-08-16 | Paper |
| Constructive version of Boolean algebra | 2013-06-11 | Paper |
| Convergence in formal topology: a unifying notion | 2013-02-25 | Paper |
| An induction principle for consequence in arithmetic universes | 2012-10-16 | Paper |
| Formalization of formal topology by means of the interactive theorem prover Matita | 2011-07-29 | Paper |
| Subspaces of an arithmetic universe via type theory | 2010-11-16 | Paper |
| Subspaces of an arithmetic universe via type theory | 2010-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3552042 | 2010-04-20 | Paper |
| A minimalist two-level foundation for constructive mathematics | 2009-10-26 | Paper |
| Quotients over Minimal Type Theory | 2007-11-13 | Paper |
| Modular correspondence between dependent type theories and categories including pretopoi and topoi | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718565 | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718572 | 2006-01-16 | Paper |
| A structural investigation on formal topology: coreflection of formal covers and exponentiability | 2005-08-29 | Paper |
| Relating categorical semantics for intuitionistic linear logic | 2005-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508305 | 2001-02-27 | Paper |
| Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944857 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246949 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896529 | 1996-10-20 | Paper |
| A characterization of regular and exact completions of pure existential completions | N/A | Paper |
