Émile Oleon

According to our database, Émile Oleon authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Classifying Covering Types in Homotopy Type Theory.

Samuel Mimram, Émile Oleon

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Hypercubical manifolds in homotopy type theory.

Samuel Mimram, Émile Oleon

CoRR, June, 2025

Coherent presentation of groups in homotopy type theory. (Présentation cohérentes de groupes en théorie des types homotopiques).

Émile Oleon

PhD thesis, 2025

Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory.

Samuel Mimram, Émile Oleon

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Delooping cyclic groups with lens spaces in homotopy type theory.

Samuel Mimram, Émile Oleon

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Delooping Generated Groups in Homotopy Type Theory.

Camil Champin, Samuel Mimram, Émile Oleon

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2022

Division by Two, in Homotopy Type Theory.

Samuel Mimram, Émile Oleon

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022