nLab Hugo Moeneclaey

• website

Publications

• Hugo Moeneclaey, Peter Dybjer, Finitary higher inductive types in the groupoid model, Electronic Notes in Theoretical Computer Science, Volume 336, pages 119-134, 2018 (doi:10.1016/j.entcs.2018.03.019)

On synthetic Stone duality:

• Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey, A Foundation for Synthetic Stone Duality (arXiv:2412.03203)

On Châtelet’s theorem in synthetic algebraic geometry:

• Thierry Coquand, Hugo Moeneclaey, Chatelet’s Theorem in Synthetic Algebraic Geometry [arXiv:2504.08326]

Talks

• Hugo Moeneclaey, Parametricity and cubes, Homotopy Type Theory Electronic Seminar Talks, 21 October 2021 (video, slides)

category: people