Gardening with the Pythia A Model of Continuity in a Dependent Setting. - Martin Baillon; Assia Mahboubi; Pierre-Marie Pédrot (CSL, 2022)

Continuity in Type Theory. (Continuité en théorie des types). - Martin Baillon (2023)

A Zoo of Continuity Properties in Constructive Type Theory. - Martin Baillon; Yannick Forster 002; Assia Mahboubi; Pierre-Marie Pédrot; Matthieu Piquerez (FSCD, 2025)