Publications

Hugo Moeneclaey (2022). Parametricity and semi-cubical types. PhD Thesis.

PDF Cite

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

PDF Cite

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

PDF Cite