Fetching the paper…
Reading the bibliography…
Monoidal algebraic structures consist of operations that can have multiple outputs as well as multiple inputs, which have applications in many areas including categorical algebra, programming language semantics, representation theory, algebraic quantum information, and quantum groups.
Applications of negative dimensional tensors
R. Penrose · 1971
Earlier work this paper cites.
The geometry of tensor calculus, I
André Joyal and Ross Street · 1991
Earlier work this paper cites.
PROGRESS: A VHL-language based on graph grammars
Andy Schürr · 1991
Earlier work this paper cites.
A categorical semantics of quantum protocols
Samson Abramsky and Bob Coecke · 2004
Earlier work this paper cites.
The GROOVE Simulator: A Tool for State Space Generation
Arend Rensink · 2004
Earlier work this paper cites.
AGG: A Graph Transformation Environment for Modeling and Validation of Software
Gabriele Taentzer · 2004
Earlier work this paper cites.
Abstracting the differential semantics of rule-based models: exact and automated model reduction
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, and Jean Krivine · 2010
Earlier work this paper cites.
Rewriting measurement-based quantum computations with generalised flow
Ross Duncan and Simon Perdrix · 2010
Earlier work this paper cites.
Representations of petri net interactions
P. Sobocinski · 2010
Earlier work this paper cites.
Mathematical foundations for a compositional distributed model of meaning
Stephen Clark, Bob Coecke, and Mehrnoosh Sadrzadeh · 2011
Earlier work this paper cites.
Interacting quantum observables: categorical algebra and diagrammatics
Bob Coecke and Ross Duncan · 2011
Cited alongside, same era.
Experimental support for a categorical compositional distributional model of meaning
Edward Grefenstette and Mehrnoosh Sadrzadeh · 2011
Cited alongside, same era.
Quantum protocols involving multiparticle entanglement and their representations in the ZX-calculus
Anne Hillebrand · 2011
Cited alongside, same era.
Conjecture synthesis for inductive theories
Moa Johansson, Lucas Dixon, and Alan Bundy · 2011
Cited alongside, same era.
Reasoning about multi-process systems with the box calculus
Greg Michaelson and Gudmund Grov · 2011
Cited alongside, same era.
Verifying the steane code with quantomatic
Ross Duncan and Maxime Lucas · 2013
Later among the works it cites.
Reasoning with !-graphs
Alexander Merry · 2013
Later among the works it cites.
John C. Baez and Jason Erbele · 2014
Later among the works it cites.
Interacting bialgebras are frobenius
F. Bonchi, P. Sobociński, and F. Zanasi · 2014
Later among the works it cites.
Tinker, tailor, solver, proof
Gudmund Grov, Aleks Kissinger, and Yuhui Lin · 2014
Later among the works it cites.
Tensors, !-graphs, and non-commutative quantum structures
Aleks Kissinger and David Quick · 2014
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Kissinger · 2012
Cited alongside, same era.
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
Aleks Kissinger · 2012
Cited alongside, same era.
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry, and Matvey Soloviev · 2012
Cited alongside, same era.
Open-graphs and monoidal theories
Lucas Dixon and Aleks Kissinger · 2013
Cited alongside, same era.
Local states in string diagrams
Paul-André Melliès · 2014
Later among the works it cites.
Full abstraction for signal flow graphs
Filippo Bonchi, Paweł Sobociński, and Fabio Zanasi · 2015
Closest in time.
!-graphs with trivial overlap are context-free
Aleks Kissinger and Vladimir Zamdzhiev · 2015
Closest in time.