| Publication | Date of Publication | Type |
|---|
| A topological counterpart of well-founded trees in dependent type theory | 2026-04-02 | Paper |
Equiconsistency of the minimalist foundation with its classical version
Annals of Pure and Applied Logic | 2024-12-12 | Paper |
Quotients, pure existential completions and arithmetic universes
Theory and Applications of Categories | 2024-08-27 | Paper |
The compatibility of the minimalist foundation with homotopy type theory
Theoretical Computer Science | 2024-03-01 | Paper |
The Minimalist Foundation and Bishop’s Constructive Mathematics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
A characterization of generalized existential completions
Annals of Pure and Applied Logic | 2023-02-15 | Paper |
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Logical Methods in Computer Science | 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
Journal of Symbolic Logic | 2021-10-27 | Paper |
scientific article; zbMATH DE number 7379292 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
Relating quotient completions via categorical logic
Concepts of Proof in Mathematics, Philosophy, and Computer Science | 2020-04-03 | Paper |
scientific article; zbMATH DE number 7080197 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-12 | Paper |
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
(available as arXiv preprint) | 2019-05-28 | Paper |
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
Archive for Mathematical Logic | 2019-01-14 | Paper |
A predicative variant of Hyland's Effective Topos
(available as arXiv preprint) | 2018-06-22 | Paper |
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
(available as arXiv preprint) | 2018-02-18 | Paper |
Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
Tbilisi Mathematical Journal | 2017-12-08 | Paper |
An extensional Kleene realizability semantics for the Minimalist Foundation
(available as arXiv preprint) | 2017-07-12 | Paper |
On choice rules in dependent type theory
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Why topology in the minimalist foundation must be pointfree
Logic and Logical Philosophy | 2015-04-09 | Paper |
Unifying exact completions
Applied Categorical Structures | 2015-02-05 | Paper |
Quotient completion for the foundation of constructive mathematics
Logica Universalis | 2013-11-19 | Paper |
Elementary quotient completion
Theory and Applications of Categories | 2013-10-25 | Paper |
Elementary quotient completion
Theory and Applications of Categories | 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
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Constructive version of Boolean algebra
Logic Journal of the IGPL | 2013-06-11 | Paper |
Convergence in formal topology: a unifying notion
Journal of Logic and Analysis | 2013-02-25 | Paper |
An induction principle for consequence in arithmetic universes
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Formalization of formal topology by means of the interactive theorem prover Matita
Lecture Notes in Computer Science | 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 |
| scientific article; zbMATH DE number 5695342 (Why is no real title available?) | 2010-04-20 | Paper |
A minimalist two-level foundation for constructive mathematics
Annals of Pure and Applied Logic | 2009-10-26 | Paper |
Quotients over Minimal Type Theory
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science | 2006-02-21 | Paper |
| scientific article; zbMATH DE number 2247253 (Why is no real title available?) | 2006-01-16 | Paper |
| scientific article; zbMATH DE number 2247260 (Why is no real title available?) | 2006-01-16 | Paper |
A structural investigation on formal topology: coreflection of formal covers and exponentiability
Journal of Symbolic Logic | 2005-08-29 | Paper |
Relating categorical semantics for intuitionistic linear logic
Applied Categorical Structures | 2005-06-16 | Paper |
| scientific article; zbMATH DE number 1512620 (Why is no real title available?) | 2001-02-27 | Paper |
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
Mathematical Logic Quarterly | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1420793 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1301736 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 937388 (Why is no real title available?) | 1996-10-20 | Paper |
A characterization of regular and exact completions of pure existential completions
(available as arXiv preprint) | N/A | Paper |
