Émile Oleon

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

Collaborative distances:

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

2025

Hypercubical manifolds in homotopy type theory.

Samuel Mimram, Émile Oleon

CoRR, June, 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