Samuel Arsac Doctorant

Identifiants chercheurs

IdHAL :

samuel-arsac

ORCID :

0009-0007-6508-7636

Publications

Communication dans un congrès (2)

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
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