Cyril Cohen

Identifiers

No identifiers captured yet.

Papers (2)

1. Cubical Type Theory: a constructive interpretation of the univalence axiom cs.LO · 2016 · author #1
2. Formalized linear algebra over Elementary Divisor Rings in Coq cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Anders M\"ortberg 2 shared papers
• Guillaume Cano 1 shared papers
• Maxime D\'en\`es 1 shared papers
• Simon Huber 1 shared papers
• Thierry Coquand 1 shared papers
• Vincent Siles 1 shared papers