238 citations · 552 across the 10 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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.LO2010★ 6 cited
Open Graphs and Computational Reasoning
Lucas Dixon, Ross Duncan, Aleks Kissinger
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented…