Modal descent. - Felix Cherubini; Egbert Rijke (Math. Struct. Comput. Sci., 2021)

A Foundation for Synthetic Stone Duality. - Felix Cherubini; Thierry Coquand; Freek Geerligs; Hugo Moeneclaey (TYPES, 2024)

Synthetic G-jet-structures in modal homotopy type theory. - Felix Cherubini (Math. Struct. Comput. Sci., 2024)

A foundation for synthetic algebraic geometry. - Felix Cherubini; Thierry Coquand; Matthias Hutzler (Math. Struct. Comput. Sci., 2024)