Hugo Moeneclaey

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

A Foundation for Synthetic Stone Duality.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

2022

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

[BibT_eX]

[DOI]

Hugo Moeneclaey

PhD thesis, 2022

Notions of parametricity as monoidal models for type theory.

[BibT_eX]

[DOI]

Hugo Moeneclaey

CoRR, 2022

2021

Parametricity and Semi-Cubical Types.

[BibT_eX]

[DOI]

Hugo Moeneclaey

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]

Peter Dybjer

Hugo Moeneclaey

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

Hugo Moeneclaey

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...