Publications

Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey (2025). A foundation for synthetic Stone duality. LIPIcs.

Felix Cherubini, Matthias Hutzler, Hugo Moeneclaey, David Wärn (2025). Differential geometry of synthetic schemes. ArXiv preprint.

Thierry Coquand, Hugo Moeneclaey (2025). Châtelet’s theorem in synthetic algebraic geometry. ArXiv preprint.

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

Hugo Moeneclaey (2022). Notions of parametricity as monoidal models for type theory. ArXiv preprint.

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

Hugo Moeneclaey (2019). Toward a cubical type theory univalent by definition. Internship report.

Hugo Moeneclaey (2019). Monoids up to coherent homotopy in two-level type theory. Internship report.

Hugo Moeneclaey (2018). Quasi-categories and complete Segal spaces. Master thesis.

Hugo Moeneclaey (2017). Expansion proofs for arithmetic. Internship report.

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

Hugo Moeneclaey (2016). A schema for higher inductive types of level one and its interpretation. Internship report.