Camil Champin

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Relational Databases

Automatically Generated

Theoretical Basis

Computational Model

Top Venues

Publications

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)