Home
Publications
Talks
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Preprint
Report
Thesis
Date
2025
2024
2022
2021
2019
2018
2017
2016
Felix Cherubini
,
Matthias Hutzler
,
Hugo Moeneclaey
,
David Wärn
(2025).
Differential geometry of synthetic schemes
.
ArXiv preprint
.
PDF
Cite
Thierry Coquand
,
Hugo Moeneclaey
(2025).
Châtelet’s theorem in synthetic algebraic geometry
.
ArXiv preprint
.
PDF
Cite
Felix Cherubini
,
Thierry Coquand
,
Freek Geerligs
,
Hugo Moeneclaey
(2024).
A foundation for synthetic Stone duality
.
ArXiv preprint
.
PDF
Cite
Hugo Moeneclaey
(2022).
Cubical models are cofreely parametric
.
PhD Thesis
.
PDF
Cite
Hugo Moeneclaey
(2022).
Notions of parametricity as monoidal models for type theory
.
ArXiv preprint
.
PDF
Cite
Hugo Moeneclaey
(2021).
Parametricity and semi-cubical types
.
LICS
.
PDF
Cite
Hugo Moeneclaey
(2019).
Toward a cubical type theory univalent by definition
.
Internship report
.
PDF
Cite
Hugo Moeneclaey
(2019).
Monoids up to coherent homotopy in two-level type theory
.
Internship report
.
PDF
Cite
Hugo Moeneclaey
(2018).
Quasi-categories and complete Segal spaces
.
Master thesis
.
PDF
Cite
Hugo Moeneclaey
(2017).
Expansion proofs for arithmetic
.
Internship report
.
PDF
Cite
Peter Dybjer
,
Hugo Moeneclaey
(2017).
Finitary higher inductive types in the groupoid model
.
MFPS
.
PDF
Cite
Hugo Moeneclaey
(2016).
A schema for higher inductive types of level one and its interpretation
.
Internship report
.
PDF
Cite
Cite
×