20 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 20 cited
The GHZ/W-calculus contains rational arithmetic
Bob Coecke, Aleks Kissinger, Alex Merry +1
Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation…
math.CT2010★ 10 cited
Open Graphs and Monoidal Theories
Lucas Dixon, Aleks Kissinger
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of…