research
∙
07/26/2023
Obstructions to Compositionality
Compositionality is at the heart of computer science and several other a...
share
research
∙
04/18/2023
Higher-dimensional subdiagram matching
Higher-dimensional rewriting is founded on a duality of rewrite systems ...
research
∙
09/20/2022
Data structures for topologically sound higher-dimensional diagram rewriting
We present a computational implementation of diagrammatic sets, a model ...
research
∙
01/04/2018
A diagrammatic axiomatisation of fermionic quantum circuits
We introduce the fermionic ZW calculus, a string-diagrammatic language f...
research
∙
09/23/2017