Publications

Hugo Moeneclaey (2022). Cubical models are cofreely parametric. PhD Thesis.

Hugo Moeneclaey (2021). Parametricity and semi-cubical types. LICS.

Hugo Moeneclaey, Peter Dybjer (2017). Finitary higher inductive types in the groupoid model. MFPS.