A Foundation for Synthetic Stone Duality
Published in Post-proceedings of TYPES 2024, 2025
Together with Felix Cherubini, Thierry Coquand and Hugo Moeneclaey, I worked on a system called “Synthetic Stone Duality”. We presented this work at TYPES 2024, and published our first article on it here.