| Aug 2025 | The Patch Topology in Univalent Foundations |
| Published in MSCS Volume 35 | |
| with Igor Arrieta, Martín H. Escardó | |
| DOI, arXiv | |
| May 2025 | Internal Effectful Forcing in System T |
| Presented at FSCD 2025 | |
| with Martín H. Escardó, Bruno da Rocha Paiva, Vincent Rahli | |
| arXiv, formalization | |
| Aug 2023 | Inductive Continuity via Brouwer Trees |
| Presented at MFCS 2023 | |
| with Liron Cohen, Vincent Rahli, Bruno da Rocha Paiva | |
| DOI | |
| Jul 2022 | Patch Locale of a Spectral Locale in Univalent Type Theory |
| Presented at MFPS XXXVIII | |
| with Martín H. Escardó | |
| DOI, arXiv |
| Feb 2025 | Constructive and Predicative Locale Theory in Univalent Foundations |
| PhD thesis at University of Birmingham | |
| Defended on 27 February 2025 | |
| Examiners: Eric Finster, Bas Spitters | |
| May 2020 | Formal Topology in Univalent Foundations |
| MSc thesis at Chalmers University of Technology | |
| Defended on 20 May 2020 | |
| Examiner: Nils Anders Danielsson | |
| DOI, slides |
| Jun 2025 | Predicative Stone Duality in Univalent Foundations |
| Talk given at TYPES 2025 on 10 June 2025 | |
| slides, abstract | |
| Mar 2024 | Locale Theory in Univalent Foundations |
| Talk given at ASSUME on 21 March 2024 | |
| slides | |
| Aug 2023 | Inductive Continuity via Brouwer Trees |
| Talk given at MFCS 2023 on 29 August 2023 | |
| slides | |
| Mar 2023 | The Patch Locale of a Spectral Locale in Univalent Type Theory |
| Talk given at YaMCATS 30 on 15 March 2023 | |
| slides | |
| Jun 2022 | The Patch Locale of a Spectral Locale in Univalent Type Theory |
| Talk given at TYPES 2022 on 23 June 2022 | |
| slides, abstract | |
| Feb 2020 | Formal Topology in Univalent Foundations |
| Talk given at Goteborg-Stockholm Type Theory Seminar on 27 February 2020 | |
| slides, abstract |