Fetching the paper…
Reading the bibliography…
In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms in a monoidal category.
Applications of negative dimensional tensors
R. Penrose · 1971
Earlier work this paper cites.
The geometry of tensor calculus I
A. Joyal and R. Street · 1991
Earlier work this paper cites.
Efficient algorithms for listing unlabeled graphs
L. Goldberg · 1992
Earlier work this paper cites.
Isomorph-free exhaustive generation
B. D. McKay · 1998
Earlier work this paper cites.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Earlier work this paper cites.
Interacting quantum observables
B. Coecke and R. Duncan · 2008
Earlier work this paper cites.
Construction and properties of adhesive and weak adhesive high-level replacement categories
U. Prange, H. Ehrig, and L. Lambers · 2008
Cited alongside, same era.
The compositional structure of multipartite quantum entanglement
B. Coecke and A. Kissinger · 2010
Cited alongside, same era.
The compositional structure of multipartite quantum entanglement
B. Coecke and A. Kissinger · 2010
Cited alongside, same era.
Mathematical foundations for a compositional distributional model of meaning
B. Coecke, M. Sadrzadeh, and S. Clark · 2010
Cited alongside, same era.
Open Graphs and Monoidal Theories
L. Dixon and A. Kissinger · 2010
Cited alongside, same era.
Rewriting measurement-based quantum computations with generalised flow
R. Duncan and S. Perdrix · 2010
Cited alongside, same era.
Conjecture Synthesis for Inductive Theories
M. Johansson, L. Dixon, and A. Bundy · 2010
Later among the works it cites.
Scheme-based synthesis of inductive theories
O. Montano-Rivas, R. McCasland, L. Dixon, and A. Bundy · 2010
Later among the works it cites.
Spekkens’s toy theory as a category of processes
B. Coecke and B. Edwards · 2011
Later among the works it cites.
Picturing classical and quantum bayesian inference
B. Coecke and R. W. Spekkens · 2011
Later among the works it cites.
Quantomatic
A. Kissinger, A. Merry, L. Dixon, R. Duncan, M. Soloviev, and B. Frot · 2011
Later among the works it cites.
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Kissinger · 2012
Closest in time.