References

  1. John C. Baez & Jason Erbele (2014): Categories in Control. Technical Report. arXiv:1405.6881.
  2. 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.
  3. B. Coecke (2009): Quantum Picturalism. Contemporary Physics 51, pp. 59–83, doi:10.1080/00107510903257624. arXiv:0908.1787.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. D. Kartsaklis (2014): Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras. University of Oxford.
  9. 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].
  10. Aleks Kissinger, Alex Merry & Matvey Soloviev (2012): Pattern Graph Rewrite Systems. In: Proceedings of DCM 2012, EPTCS 143, doi:10.4204/EPTCS.143.5. arXiv:1204.6695 [math.CT].
  11. Aleks Kissinger, Alexander Merry, Lucas Dixon, Ross Duncan, Matvey Soloviev & Benjamin Frot (2011): Quantomatic. https://sites.google.com/site/quantomatic/.
  12. 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].
  13. Aleks Kissinger & David Quick (2015): A first-order logic for string diagrams. arXiv:1505.00343 [math.CT].
  14. Aleks Kissinger & Vladimir Zamdzhiev (2015): !-Graphs with Trivial Overlap are Context-Free, doi:10.4204/EPTCS.181.2. ArXiv:1501.06059.
  15. Alexander Merry (2014): Reasoning with !-Graphs. University of Oxford.
  16. R. Penrose (1971): Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications. Academic Press, pp. 221–244.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org