Acclavio, Matteo, 1987-....
Matteo Acclavio Ph.D. Aix-Marseille Université 2016
VIAF ID: 54151836585120402049 (Personal)
Permalink: http://viaf.org/viaf/54151836585120402049
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Réécriture des diagrammes : applications à la théorie des catégories et à la théorie de la démonstration. | |
String diagram rewriting : applications in category and proof theory |