| Publication | Date of Publication | Type |
|---|
| The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms | 2023-12-08 | Paper |
| A Point-Free Look at Ostrowski's Theorem and Absolute Values | 2023-08-20 | Paper |
| Generalized point-free spaces, pointwise | 2022-06-02 | Paper |
| Gelfand spectra in Grothendieck toposes using geometric mathematics | 2021-06-23 | Paper |
Gelfand spectra in Grothendieck toposes using geometric mathematics
(available as arXiv preprint) | 2021-06-23 | Paper |
| The Born rule as structure of spectral bundles (extended abstract) | 2021-04-27 | Paper |
The Born rule as structure of spectral bundles (extended abstract)
(available as arXiv preprint) | 2021-04-27 | Paper |
Point-free Construction of Real Exponentiation
(available as arXiv preprint) | 2021-03-31 | Paper |
| Fibrations of AU-contexts Beget fibrations of toposes | 2020-05-28 | Paper |
Fibrations of AU-contexts Beget fibrations of toposes
(available as arXiv preprint) | 2020-05-28 | Paper |
The localic compact interval is an Escardó-Simpson interval object
Mathematical Logic Quarterly | 2020-04-29 | Paper |
The localic compact interval is an Escardó-Simpson interval object
Mathematical Logic Quarterly | 2020-04-29 | Paper |
| Sketches for arithmetic universes | 2019-07-19 | Paper |
Sketches for arithmetic universes
(available as arXiv preprint) | 2019-07-19 | Paper |
Arithmetic universes and classifying toposes
(available as arXiv preprint) | 2018-03-29 | Paper |
Positivity relations on a locale
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
Continuity and geometric logic
Journal of Applied Logic | 2016-05-10 | Paper |
| Geometric constructions preserve fibrations | 2014-11-10 | Paper |
Presenting dcpos and dcpo algebras
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Generalised powerlocales via relation lifting
Mathematical Structures in Computer Science | 2013-03-14 | Paper |
Localic completion of generalized metric spaces. II: Powerlocales
Journal of Logic and Analysis | 2012-12-17 | Paper |
An induction principle for consequence in arithmetic universes
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Cosheaves and connectedness in formal topology
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
Fuzzy sets and geometric logic
Fuzzy Sets and Systems | 2010-05-07 | Paper |
The connected Vietoris powerlocale
Topology and its Applications | 2009-07-01 | Paper |
A localic theory of lower and upper integrals
Mathematical Logic Quarterly | 2008-03-07 | Paper |
Sublocales in formal topology
Journal of Symbolic Logic | 2007-07-09 | Paper |
A language for configuring multi-level specifications
Theoretical Computer Science | 2006-04-06 | Paper |
| scientific article; zbMATH DE number 2247261 (Why is no real title available?) | 2006-01-16 | Paper |
Compactness in locales and in formal topology
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2222240 (Why is no real title available?) | 2005-11-02 | Paper |
| scientific article; zbMATH DE number 2222240 (Why is no real title available?) | 2005-11-02 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2125651 (Why is no real title available?) | 2005-01-10 | Paper |
| scientific article; zbMATH DE number 2125651 (Why is no real title available?) | 2005-01-10 | Paper |
Entailment systems for stably locally compact locales
Theoretical Computer Science | 2004-08-04 | Paper |
Localic sup-lattices and tropological systems.
Theoretical Computer Science | 2004-03-14 | Paper |
Strongly algebraic = SFP (topically)
Mathematical Structures in Computer Science | 2002-08-07 | Paper |
Presheaves as configured specifications
Formal Aspects of Computing | 2001-11-21 | Paper |
| scientific article; zbMATH DE number 1537947 (Why is no real title available?) | 2001-02-05 | Paper |
Topical categories of domains
Mathematical Structures in Computer Science | 2000-10-10 | Paper |
Constructive points of powerlocales
Mathematical Proceedings of the Cambridge Philosophical Society | 1997-10-20 | Paper |
| scientific article; zbMATH DE number 949397 (Why is no real title available?) | 1996-11-25 | Paper |
| scientific article; zbMATH DE number 860043 (Why is no real title available?) | 1996-09-22 | Paper |
| scientific article; zbMATH DE number 860049 (Why is no real title available?) | 1996-03-26 | Paper |
| scientific article; zbMATH DE number 860051 (Why is no real title available?) | 1996-03-26 | Paper |
| scientific article; zbMATH DE number 605793 (Why is no real title available?) | 1994-07-13 | Paper |
Quantales, observational logic and process semantics
Mathematical Structures in Computer Science | 1994-06-14 | Paper |
| scientific article; zbMATH DE number 431773 (Why is no real title available?) | 1993-11-11 | Paper |
Information systems for continuous posets
Theoretical Computer Science | 1993-09-02 | Paper |
| scientific article; zbMATH DE number 41225 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 19490 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4125509 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4040146 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3995941 (Why is no real title available?) | 1986-01-01 | Paper |
