| Publication | Date of Publication | Type |
|---|
| A logical characterization of the continuous bar induction | 2024-09-11 | Paper |
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
Mathematical Logic Quarterly | 2023-09-15 | Paper |
Decidable fan theorem and uniform continuity theorem with continuous moduli
Mathematical Logic Quarterly | 2023-09-12 | Paper |
Bishop Metric Spaces in Formal Topology
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Reflexive combinatory algebras
Journal Of Logic And Computation | 2023-08-03 | Paper |
From Intuitionistic Mathematics to Point-Free Topology
Proof and Computation II | 2022-06-17 | Paper |
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Archive for Mathematical Logic | 2021-10-29 | Paper |
scientific article; zbMATH DE number 7379293 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
Characterising Brouwer's continuity by bar recursion on moduli of continuity
Archive for Mathematical Logic | 2021-01-19 | Paper |
Predicative theories of continuous lattices
(available as arXiv preprint) | 2020-06-09 | Paper |
Presenting de Groot duality of stably compact spaces
Theoretical Computer Science | 2020-05-23 | Paper |
Formally continuous functions on Baire space
Mathematical Logic Quarterly | 2020-05-11 | Paper |
scientific article; zbMATH DE number 7093560 (Why is no real title available?)
(available as arXiv preprint) | 2019-08-13 | Paper |
| Principles of bar induction and continuity on Baire space | 2019-07-19 | Paper |
Principles of bar induction and continuity on Baire space
(available as arXiv preprint) | 2019-07-19 | Paper |
Equivalents of the finitary non-deterministic inductive definitions
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli
Annals of Pure and Applied Logic | 2019-05-31 | Paper |
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions
Annals of Pure and Applied Logic | 2019-05-31 | Paper |
A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
Archive for Mathematical Logic | 2019-03-27 | Paper |
The principle of pointfree continuity
(available as arXiv preprint) | 2019-03-18 | Paper |
Equivalents of the finitary non-deterministic inductive definitions
(available as arXiv preprint) | 2019-03-14 | Paper |
Localic completion of uniform spaces
(available as arXiv preprint) | 2017-10-12 | Paper |
On the commutativity of the powerspace constructions
(available as arXiv preprint) | 2017-09-18 | Paper |
| Geometric theories of patch and Lawson topologies | 2017-07-18 | Paper |
Point-free characterisation of Bishop compact metric spaces
Journal of Logic and Analysis | 2017-05-18 | Paper |
A point-free characterisation of Bishop locally compact metric spaces
Journal of Logic and Analysis | 2017-05-18 | Paper |
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
