Fetching the paper…
Reading the bibliography…
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures.
Distributive laws
Appelgate, H., Barr, M., Beck, J., Lawvere, F., Linton, F., Manes, E., Tierney, M., and Ulmer, F. (1969) · 1969
Earlier work this paper cites.
Simple word problems in universal algebras
Knuth, D. E. and Bendix, P. B. (1970) · 1970
Earlier work this paper cites.
Applications of negative dimensional tensors
Penrose, R. (1971) · 1971
Earlier work this paper cites.
Graph-grammars: An algebraic approach
Ehrig, H., Pfender, M., and Schneider, H. J. (1973) · 1973
Earlier work this paper cites.
Interaction nets
Lafont, Y. (1990) · 1990
Earlier work this paper cites.
The geometry of tensor calculus I
Joyal, A. and Street, R. (1991) · 1991
Earlier work this paper cites.
Proof-nets: The parallel syntax for proof-theory
Girard, J.-Y. (1996) · 1996
Earlier work this paper cites.
Towards an algebraic theory of boolean circuits
Lafont, Y. (2003) · 2003
Earlier work this paper cites.
Formal molecular biology
Danos, V. and Laneve, C. (2004) · 2004
Earlier work this paper cites.
Composing props
Lack, S. (2004) · 2004
Cited alongside, same era.
Adhesive and quasiadhesive categories
Lack, S. and Sobocinski, P. (2005) · 2005
Cited alongside, same era.
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. EATCS Series)
Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G. (2006) · 2006
Cited alongside, same era.
Pure bigraphs: Structure and dynamics
Milner, R. (2006) · 2006
Cited alongside, same era.
Unfolding graph transformation systems: Theory and applications to verification
Baldan, P., Corradini, A., and König, B. (2008) · 2008
Cited alongside, same era.
Interacting quantum observables
Coecke, B. and Duncan, R. (2008) · 2008
Cited alongside, same era.
Interacting quantum observables: Categorical algebra and diagrammatics
Coecke, B. and Duncan, R. (2009) · 2009
Later among the works it cites.
Graphical reasoning in compact closed categories for quantum computation
Dixon, L. and Duncan, R. (2009) · 2009
Later among the works it cites.
Directed Algebraic Topology: Models of Non-Reversible Worlds
Grandis, M. (2009) · 2009
Later among the works it cites.
A convenient category of locally preordered spaces
Krishnan, S. (2009) · 2009
Later among the works it cites.
Diagram rewriting and operads
Lafont, Y. (2010) · 2009
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Diagram rewriting for orthogonal matrices: A study of critical peaks
Lafont, Y. and Rannou, P. (2008) · 2008
Cited alongside, same era.
Construction and properties of adhesive and weak adhesive high-level replacement categories
Prange, U., Ehrig, H., and Lambers, L. (2008) · 2008
Cited alongside, same era.
Selinger, P. (2009) · 2009
Later among the works it cites.
The compositional structure of multipartite quantum entanglement
Bob Coecke, A. K. (2010) · 2010
Closest in time.
Open graphs and computational reasoning
Dixon, L., Duncan, R., and Kissinger, A. (2010) · 2010
Closest in time.