| Publication | Date of Publication | Type |
|---|
Deciding Equations in the Time Warp Algebra
(available as arXiv preprint) | N/A | Paper |
Mechanised uniform interpolation for modal logics K, GL, and iSL
(available as arXiv preprint) | N/A | Paper |
Toposes with enough points as categories of étale spaces
Journal of Pure and Applied Algebra | 2026-06-24 | Paper |
| Profinite lambda-terms and parametricity | 2026-04-02 | Paper |
| Mechanised uniform interpolation for modal logics K, GL, and iSL | 2025-01-31 | Paper |
Deciding Equations in the Time Warp Algebra
Logical Methods in Computer Science | 2024-03-11 | Paper |
Topological Duality for Distributive Lattices
(available as arXiv preprint) | 2024-01-03 | Paper |
On duality and model theory for polyadic spaces
Annals of Pure and Applied Logic | 2023-12-18 | Paper |
Time warps, from algebra to algorithms
(available as arXiv preprint) | 2023-03-30 | Paper |
Priestley duality for MV-algebras and beyond
Forum Mathematicum | 2022-04-04 | Paper |
Time Warps, from Algebra to Algorithms
(available as arXiv preprint) | 2021-06-11 | Paper |
Priestley duality for MV-algebras and beyond
(available as arXiv preprint) | 2020-02-28 | Paper |
Pro-aperiodic monoids via saturated models
Israel Journal of Mathematics | 2019-12-17 | Paper |
Pointlike sets for varieties determined by groups
Advances in Mathematics | 2019-05-16 | Paper |
Sheaves and Duality
(available as arXiv preprint) | 2019-04-11 | Paper |
Merge decompositions, two-sided Krohn-Rhodes, and aperiodic pointlikes
Canadian Mathematical Bulletin | 2019-03-15 | Paper |
An open mapping theorem for finitely copresented Esakia spaces
Topology and its Applications | 2018-04-23 | Paper |
Monadic second order logic as the model companion of temporal logic
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Free algebras for Gödel-Löb provability logic | 2018-04-23 | Paper |
Pro-aperiodic monoids via saturated models
(available as arXiv preprint) | 2018-04-19 | Paper |
Sheaves and duality
Journal of Pure and Applied Algebra | 2018-04-12 | Paper |
| An interpolant in predicate G\"odel logic | 2018-03-08 | Paper |
Uniform interpolation and compact congruences
Annals of Pure and Applied Logic | 2017-07-13 | Paper |
Uniform interpolation and compact congruences
Annals of Pure and Applied Logic | 2017-07-13 | Paper |
A model-theoretic characterization of monadic second order logic on infinite words
Journal of Symbolic Logic | 2017-06-01 | Paper |
Duality and universal models for the meet-implication fragment of IPC
Logic, Language, and Computation | 2015-12-03 | Paper |
Distributive envelopes and topological duality for lattices via canonical extensions.
Order | 2014-10-31 | Paper |
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Journal of Algebra | 2014-09-04 | Paper |
| Constructing the Lindenbaum algebra for a logic step-by-step using duality | 2014-08-12 | Paper |
A non-commutative Priestley duality.
Topology and its Applications | 2014-01-08 | Paper |
On generalizing free algebras for a functor.
Journal Of Logic And Computation | 2013-06-27 | Paper |
Duality and canonical extensions for stably compact spaces
Topology and its Applications | 2011-12-06 | Paper |
