1 citations · 1 across the 1 of their papers we have counts for
2 papers
math.CT2015
A first-order logic for string diagrams
Aleks Kissinger, David Quick
Equational reasoning with string diagrams provides an intuitive means of proving equations between morphisms in a symmetric monoidal category. This can be extended to proofs of inf…
cs.LO2015★ 1 cited
Tensors, !-graphs, and non-commutative quantum structures (extended version)
Aleks Kissinger, David Quick
!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf algebras, Frobenius al…