Émile Oleon

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Relational Databases

Automatically Generated

Top Venues

Publications

Samuel Mimram, Émile Oleon
Delooping cyclic groups with lens spaces in homotopy type theory. CoRR (2024)
Camil Champin, Samuel Mimram, Émile Oleon
Delooping Generated Groups in Homotopy Type Theory. FSCD (2024)
Camil Champin, Samuel Mimram, Émile Oleon
Delooping generated groups in homotopy type theory. CoRR (2024)
Samuel Mimram, Émile Oleon
Delooping cyclic groups with lens spaces in homotopy type theory. LICS (2024)
Samuel Mimram, Émile Oleon
Division by Two, in Homotopy Type Theory. FSCD (2022)