Cohen, Cyril

1. Cubical Type Theory: a constructive interpretation of the univalence axiom
   2016/11/07 by Cyril Cohen, Thierry Coquand, Cohen, Cyril +5 · 16 citations
   Computer Science · Mathematics · Psychology · #Advanced Topology and Set Theory #F.3.2 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Philosophy and Theoretical Science
2. Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle
   2018/10/29 by Ran Chen, Chen, Ran, Cyril Cohen +7 · 1 voice · 1 citation
   #cs.LO
3. Trocq: Proof Transfer for Free, With or Without Univalence
   2023/10/21 by Cyril Cohen, Enzo Crance, Cohen, Cyril +3 · 2 citations
   Computer Science · Mathematics · #F.3.3 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical and Computational Methods #Polynomial and algebraic computation