Submitted Papers
- (with L. Gambarte) The Grothendieck Computability Model, Theoretical Computer Science, 2025.
- (with D. Misselbeck-Wessel) Constructive Stone representations for separated swap and Boolean algebras, Journal of Symbolic Logic, 2025
- (with D. Misselbeck-Wessel) Boolean Rigs, Algebra Universalis, 2024 (accepted with minor revisions).
Back to my webpage
Last modified: 18.06.2025