Similar Items: Normalization for planar string diagrams and a quadratic equivalence algorithm
- String diagrams for Strictification and Coherence
- String Diagrams for Premonoidal Categories
- A correspondence between rooted planar maps and normal planar lambda terms
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Bounded degree and planar spectra
- Power of Randomization in Automata on Infinite Strings