Samuel Arsac

Doctorant
2
Documents
Affiliations actuelles
  • École normale supérieure de Lyon (ENS de Lyon)
  • Laboratoire de l'Informatique du Parallélisme (LIP)
  • Preuves et Langages (PLUME)
Identifiants chercheurs

Domaines de recherche

Informatique [cs] Logique en informatique [cs.LO]

Publications

Publications

Deposit thumbnail

Adhesive category theory for graph rewriting in Rocq

Samuel Arsac , Russ Harmer , Damien Pous

CPP '26: 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2026, Rennes France, France. pp.59-74, ⟨10.1145/3779031.3779105⟩

Communication dans un congrès hal-05263561v2
Deposit thumbnail

Formalizing adhesive category theory in Rocq

Samuel Arsac , Russell Harmer , Damien Pous

36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France

Communication dans un congrès hal-04859469v1