| Publication | Date of Publication | Type |
|---|
Categorifying computable reducibilities
(available as arXiv preprint) | N/A | Paper |
A characterization of regular and exact completions of pure existential completions
(available as arXiv preprint) | N/A | Paper |
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
(available as arXiv preprint) | N/A | Paper |
On Boolean hyperdoctrines and peircean bicategories
Theoretical Computer Science | 2026-09-29 | Paper |
A taxonomy of categories for relations
Logical Methods in Computer Science | 2026-08-04 | Paper |
A topos for extended Weihrauch degrees
Annals of Pure and Applied Logic | 2026-06-12 | Paper |
Effectiveness and continuity in intuitionistic quasi-toposes of assemblies
Mathematical Structures in Computer Science | 2026-05-21 | Paper |
| When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines | 2026-05-12 | Paper |
Counterpart-based quantified temporal logics
Journal of Logical and Algebraic Methods in Programming | 2025-12-30 | Paper |
Categorifying computable reducibilities
Logical Methods in Computer Science | 2025-03-06 | Paper |
A taxonomy of categories for relations
(available as arXiv preprint) | 2025-01-01 | Paper |
| Weakly Markov categories and weakly affine monads | 2024-11-26 | Paper |
Quotients, pure existential completions and arithmetic universes
Theory and Applications of Categories | 2024-08-27 | Paper |
| A presheaf semantics for quantified temporal logics | 2024-06-26 | Paper |
| Specification and verification of a linear-time temporal logic for graph transformation | 2024-01-12 | Paper |
On categorical structures arising from implicative algebras: from topology to assemblies
Annals of Pure and Applied Logic | 2024-01-08 | Paper |
Skolem, Gödel, and Hilbert fibrations
(available as arXiv preprint) | 2024-01-01 | Paper |
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
Applied Categorical Structures | 2023-10-18 | Paper |
The Gödel fibration
(available as arXiv preprint) | 2023-08-08 | Paper |
| Weakly Markov categories and weakly affine monads | 2023-03-24 | Paper |
A characterization of generalized existential completions
Annals of Pure and Applied Logic | 2023-02-15 | Paper |
Dialectica principles via Gödel doctrines
Theoretical Computer Science | 2023-02-01 | Paper |
Dialectica logical principles: not only rules
Journal Of Logic And Computation | 2023-01-04 | Paper |
Dialectica logical principles
(available as arXiv preprint) | 2022-07-01 | Paper |
Dialectica Principles via G\"odel Doctrines
(available as arXiv preprint) | 2022-05-14 | Paper |
| Generalized existential completions and their regular and exact completions | 2021-11-06 | Paper |
| A Presheaf Semantics for Quantified Temporal Logics | 2021-11-06 | Paper |
Dialectica Logical Principles
(available as arXiv preprint) | 2021-09-16 | Paper |
| An algebraic approach to the completions of elementary doctrines | 2021-08-07 | Paper |
An algebraic approach to the completions of elementary doctrines
(available as arXiv preprint) | 2021-01-01 | Paper |
Generalized existential completions and their regular and exact completions
(available as arXiv preprint) | 2021-01-01 | Paper |
The existential completion
(available as arXiv preprint) | 2020-10-26 | Paper |
| The existential completion | 2020-10-26 | Paper |
| Quantifier completions, choice principles and applications | 2020-10-18 | Paper |
Quantifier completions, choice principles and applications
(available as arXiv preprint) | 2020-01-01 | Paper |
