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
CONCUR'14: Concurrency Theory.
Lecture Notes in Computer Science
8704
Springer
435–450
10.1007/978-3-662-44584-6_30
B. Coecke
2009
Quantum Picturalism
Contemporary Physics
51
59–83
10.1080/00107510903257624
arXiv:0908.1787
B. Coecke
R. Duncan
2008
Interacting quantum observables
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)
Lecture Notes in Computer Science
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
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS)
IEEE Computer Society
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
20
10.1007/s10472-009-9141-x
Andre Joyal
Ross Street
1991
The geometry of tensor calculus I
Advances in Mathematics
88
55–113
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
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
10.1007/978-3-642-54789-8_13
arXiv:1308.3586 [math.CT]
Aleks Kissinger
Alex Merry
Matvey Soloviev
2012
Pattern Graph Rewrite Systems
Proceedings of DCM 2012
EPTCS
143
10.4204/EPTCS.143.5
arXiv:1204.6695 [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
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014.
56–67
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
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
Combinatorial Mathematics and its Applications
Academic Press
221–244