On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. - Samuele Maschio; Pietro Sabelli (CiE, 2022)

A topological counterpart of well-founded trees in dependent type theory. - Maria Emilia Maietti; Pietro Sabelli (MFPS, 2023)

A topological reading of inductive and coinductive definitions in Dependent Type Theory. - Pietro Sabelli (CoRR, 2024)

Equiconsistency of the Minimalist Foundation with its classical version. - Maria Emilia Maietti; Pietro Sabelli (Ann. Pure Appl. Log., 2025)