1 code implementation • 3 Dec 2020 • Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures.
Logic in Computer Science Category Theory