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 Y. Ehrhardt) Categories with dependent and codependent arrows, TYPES 2024, Post-Proceedings.
- (with D. Misselbeck-Wessel) Boolean Rigs, Algebra Universalis, 2024.
Back to my webpage
Last modified: 19.03.2025