Cyril Cohen
Author
Alternate name Cyril Cohen
Institutions Université Côte d'Azur, Institut national de recherche en informatique et en automatique
Past institutions Institut national de recherche en informatique et en automatique, Université Côte d'Azur, Laboratoire de Mathématiques, Observatoire de la Côte d’Azur, Institut de Biologie Valrose +5 more
ORCID: Yes
H-index: 14
I10-index: 18
Works count: 45
Citations count: 1,270
Homotopy Type Theory: Univalent Foundations of Mathematics
2013 · Peter Aczel, Benedikt Ahrens, et al. · arXiv (Cornell University)
A Machine-Checked Proof of the Odd Order Theorem
2013 · Georges Gonthier, Andrea Asperti, et al. · Lecture notes in computer science
Cubical Type Theory: a constructive interpretation of the univalence axiom
2015 · Cyril Cohen, Thierry Coquand, et al. · HAL (Le Centre pour la Communication Scientifique Directe)