Hugo Moeneclaey

According to our database¹, Hugo Moeneclaey authored at least 4 papers between 2018 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Cubical models are cofreely parametric. (Les modèles cubiques sont colibrement paramétriques).

[BibT_eX]

[DOI]

PhD thesis, 2022

Notions of parametricity as monoidal models for type theory.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Parametricity and Semi-Cubical Types.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018

Finitary Higher Inductive Types in the Groupoid Model.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018