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

Image document

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