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)

Talks

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

category: people