Finitary Higher Inductive Types in the Groupoid Model. - Peter Dybjer; Hugo Moeneclaey (MFPS, 2018)

Parametricity and Semi-Cubical Types. - Hugo Moeneclaey (LICS, 2021)

Notions of parametricity as monoidal models for type theory. - Hugo Moeneclaey (CoRR, 2022)

Cubical models are cofreely parametric. (Les modèles cubiques sont colibrement paramétriques). - Hugo Moeneclaey (2022)

A Foundation for Synthetic Stone Duality. - Felix Cherubini; Thierry Coquand; Freek Geerligs; Hugo Moeneclaey (TYPES, 2024)