Émile Oleon

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

Collaborative distances:

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

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