Department Mathematik
print


Navigationspfad


Inhaltsbereich

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