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

Separating Markov's Principles. - Liron Cohen 001; Yannick Forster 002; Dominik Kirst; Bruno da Rocha Paiva; Vincent Rahli (LICS, 2024)

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