| Publication | Date of Publication | Type |
|---|
Machine space. I: Weak exponentials and quantification over compact spaces
Logical Methods in Computer Science | 2026-05-29 | Paper |
Sequences suffice for pointfree uniform completions
Journal of the London Mathematical Society. Second Series | 2025-08-29 | Paper |
Lawvere's Frobenius reciprocity, the modular connections of Grandis and Dilworth's abstract principal ideals
Applied Categorical Structures | 2025-06-26 | Paper |
Uniform locales and their constructive aspects
(available as arXiv preprint) | 2024-04-09 | Paper |
| Uniform locales and their constructive aspects | 2024-04-09 | Paper |
Correction to: ``Presenting quotient locales''
Applied Categorical Structures | 2023-09-25 | Paper |
Presenting quotient locales
Applied Categorical Structures | 2023-08-10 | Paper |
Weakly Schreier extensions for general algebras
Algebra Universalis | 2023-08-03 | Paper |
| The representing localic groupoid for a geometric theory | 2023-05-24 | Paper |
| Pointfree topology and constructive mathematics | 2023-04-12 | Paper |
Artin glueings of toposes as adjoint split extensions
Journal of Pure and Applied Algebra | 2023-02-17 | Paper |
The spectrum of a localic semiring
Mathematical Proceedings of the Cambridge Philosophical Society | 2022-10-21 | Paper |
Monoid extensions and the Grothendieck construction
Semigroup Forum | 2022-10-04 | Paper |
| Machine Space I: Weak exponentials and quantification over compact spaces | 2022-09-22 | Paper |
| Quantalic spectra of semirings | 2022-01-17 | Paper |
| Congruence frames of frames and \kappa-frames | 2022-01-15 | Paper |
2-dimensional bifunctor theorems and distributive laws
(available as arXiv preprint) | 2021-12-29 | Paper |
| 2-dimensional bifunctor theorems and distributive laws | 2021-12-29 | Paper |
Monoid extensions and the Grothendieck construction
(available as arXiv preprint) | 2021-12-19 | Paper |
Quotients of monoid extensions and their interplay with Baer sums
Journal of Algebra | 2021-03-09 | Paper |
Artin glueings of toposes as adjoint split extensions
(available as arXiv preprint) | 2020-12-09 | Paper |
Artin glueings of frames as semidirect products
Journal of Pure and Applied Algebra | 2020-04-07 | Paper |
The congruence biframe as a quasi-uniform bicompletion
Topology and its Applications | 2020-04-06 | Paper |
Strictly zero-dimensional biframes and a characterisation of congruence frames
Applied Categorical Structures | 2018-08-10 | Paper |
Strictly zero-dimensional biframes and a characterisation of congruence frames
(available as arXiv preprint) | 2017-10-30 | Paper |
A special class of congruences on \(\kappa\)-frames
Algebra Universalis | 2017-10-24 | Paper |
