nLab Hugo Moeneclaey (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

• website

  personal page

• GoogleScholar page

Publications Selected writings

• 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](https://arxiv.org/abs/2504.08326)]

Talks

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