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)

Talks

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

category: people

Created on October 8, 2022 at 18:01:36. See the history of this page for a list of all contributions to it.