On bifibrations of model categories. - Pierre Cagne; Paul-André Melliès (CoRR, 2017)

Vers une algèbre homotopique des types dépendants. (Towards a homotopical algebra of dependent types). - Pierre Cagne (2018)

Characterizing Functions Mappable over GADTs. - Patricia Johann; Pierre Cagne (APLAS, 2022)

How Functorial Are (Deep) GADTs? - Patricia Johann; Pierre Cagne (CoRR, 2022)

On symmetries of spheres in univalent foundations. - Pierre Cagne; Ulrik Torben Buchholtz; Nicolai Kraus; Marc Bezem (LICS, 2024)

Early Announcement: Parametricity for GADTs. - Pierre Cagne; Patricia Johann (CoRR, 2024)

GADTs are not (Even partial) functors. - Pierre Cagne; Enrico Ghiorzi; Patricia Johann (Math. Struct. Comput. Sci., 2024)