Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Samuel Arsac
Observed name:
Arsac, Samuel
Institution:
École Normale Supérieure de Lyon
Observed institutions:
Lyon 1 Université,
École Normale Supérieure de Lyon,
Centre National de la Recherche Scientifique,
Laboratoire de l'Informatique du Parallélisme
ORCID:
0009-0007-6508-7636
Observed ORCID:
0009-0007-6508-7636
OpenAlex ID:
A5115704662
Adhesive category theory for graph rewriting in Rocq
2025
·
Arsac, Samuel
, Harmer, Russ
, et al.
·
arXiv (Cornell University)
PDF
Formalizing adhesive category theory in Rocq
2025
·
Arsac, Samuel
, Harmer, Russell
, et al.
·
HAL (Le Centre pour la Communication Scientifique Directe)
PDF
Show more works
View as search
Works count:
4
Citation count:
H-index:
I10-index:
Year
Topic
Type
