research
∙
02/19/2023
Rewriting modulo traced comonoid structure
In this paper we adapt previous work on rewriting string diagrams using ...
share
research
∙
01/25/2022
