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
|
|
Adhesive category theory for graph rewriting in RocqCPP '26: 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2026, Rennes France, France. pp.59-74, ⟨10.1145/3779031.3779105⟩ |
|
|
Formalizing adhesive category theory in Rocq36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France |
Chargement...
Chargement...