2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Amar Hadzihasanovic, Diana Kessler
We present a computational implementation of diagrammatic sets, a model of higher-dimensional diagram rewriting that is "topologically sound": diagrams admit a functorial interpret…