Camil Champin

According to our database, Camil Champin authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

A type theory for invertibility in weak ω-categories.

Thibaut Benjamin, Camil Champin, Ioannis Markakis

CoRR, February, 2026

2024

Delooping generated groups in homotopy type theory.

Camil Champin, Samuel Mimram

Dataset, November, 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