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
|
|
Formalizing adhesive category theory in Rocq36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France
Communication dans un congrès
hal-04859469
v1
|
|
|
Adhesive category theory for graph rewriting in Rocq2025
Pré-publication, Document de travail
hal-05263561
v1
|
Chargement...
Chargement...