10 citations · 10 across the 2 of their papers we have counts for
2 papers
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…
cs.SC2009
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon, Ross Duncan
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a for…