We stand with Ukraine  

Samuel Arsac

Orcid: 0009-0007-6508-7636

According to our database1, Samuel Arsac authored at least 1 paper in 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Adhesive Category Theory for Graph Rewriting in Rocq.
[BibTeX]
[DOI]
Samuel Arsac
,
Russ Harmer
,
Damien Pous
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026


  Loading...