John C. Baez & Jason Erbele (2014):
Categories in Control.
Technical Report.
arXiv:1405.6881.
F. Bonchi, P. Sobocinski & F. Zanasi (2014):
A categorical semantics of signal flow graphs.
In: CONCUR'14: Concurrency Theory.,
Lecture Notes in Computer Science 8704.
Springer,
pp. 435–450,
doi:10.1007/978-3-662-44584-6_30.
B. Coecke (2009):
Quantum Picturalism.
Contemporary Physics 51,
pp. 59–83,
doi:10.1080/00107510903257624.
arXiv:0908.1787.
B. Coecke & R. Duncan (2008):
Interacting quantum observables.
In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP),
Lecture Notes in Computer Science,
doi:10.1007/978-3-540-70583-3_25.
B. Coecke, R. Duncan, A. Kissinger & Q. Wang (2012):
Strong complementarity and non-locality in categorical quantum mechanics.
In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS).
IEEE Computer Society,
doi:10.1109/LICS.2012.35.
ArXiv:1203.4988.
Lucas Dixon & Ross Duncan (2009):
Graphical Reasoning in Compact Closed Categories for Quantum Computation.
AMAI 56(1),
pp. 20,
doi:10.1007/s10472-009-9141-x.
Andre Joyal & Ross Street (1991):
The geometry of tensor calculus I.
Advances in Mathematics 88,
pp. 55–113,
doi:10.1016/0001-8708(91)90003-P.
D. Kartsaklis (2014):
Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras.
University of Oxford.
Aleks Kissinger (2014):
Abstract Tensor Systems as Monoidal Categories.
In: C Casadio, B Coecke, M Moortgat & P Scott: Categories and Types in Logic, Language, and Physics: Festschrift on the occasion of Jim Lambek's 90th birthday,
Lecture Notes in Computer Science 8222.
Springer,
doi:10.1007/978-3-642-54789-8_13.
arXiv:1308.3586 [math.CT].
Aleks Kissinger, Alexander Merry, Lucas Dixon, Ross Duncan, Matvey Soloviev & Benjamin Frot (2011):
Quantomatic.
https://sites.google.com/site/quantomatic/.
Aleks Kissinger & David Quick (2014):
Tensors, !-graphs, and non-commutative quantum structures.
In: Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014.,
pp. 56–67,
doi:10.4204/EPTCS.172.5.
arXiv:1412.8552 [cs.LO].
Aleks Kissinger & David Quick (2015):
A first-order logic for string diagrams.
arXiv:1505.00343 [math.CT].
Aleks Kissinger & Vladimir Zamdzhiev (2015):
!-Graphs with Trivial Overlap are Context-Free,
doi:10.4204/EPTCS.181.2.
ArXiv:1501.06059.
Alexander Merry (2014):
Reasoning with !-Graphs.
University of Oxford.
R. Penrose (1971):
Applications of negative dimensional tensors.
In: Combinatorial Mathematics and its Applications.
Academic Press,
pp. 221–244.