Inductive Continuity via Brouwer Trees. - Liron Cohen 001; Bruno da Rocha Paiva; Vincent Rahli; Ayberk Tosun (MFCS, 2023)

Patch Locale of a Spectral Locale in Univalent Type Theory. - Ayberk Tosun; Martín Hötzel Escardó (MFPS, 2023)

The Patch Topology in Univalent Foundations. - Igor Arrieta; Martín Hötzel Escardó; Ayberk Tosun (CoRR, 2024)

Internal Effectful Forcing in System T. - Martín Hötzel Escardó; Bruno da Rocha Paiva; Vincent Rahli; Ayberk Tosun (FSCD, 2025)