S. Abramsky
B. Coecke
2004
A categorical semantics of quantum protocols
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS)
415–425
10.1109/LICS.2004.1319636
Carl von Clausewitz
2009
On War: the complete edition
Wildside Press
B. Coecke
A. Kissinger
2017
Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning
Cambridge University Press
10.1017/9781316219317
B. Coecke
M. Sadrzadeh
S. Clark
2010
Mathematical Foundations for Distributed Compositional Model of Meaning. Lambek Festschrift
Linguistic Analysis
36
345–384
Bob Coecke
Edward Grefenstette
Mehrnoosh Sadrzadeh
2013
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
Annals of pure and applied logic
164
11
1079–1100
10.1016/j.apal.2013.05.009
Stefano Gogioso
2016
A Corpus-based Toy Model for DisCoCat
Dimitrios Kartsaklis
Martha Lewis
Laura Rimell
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, Glasgow, Scotland, 11th June 2016
Electronic Proceedings in Theoretical Computer Science
221
Open Publishing Association
20–28
10.4204/EPTCS.221.3
Stefano Gogioso
2017
Fantastic Quantum Theories and Where to Find Them
arXiv:1703.10576
E. Grefenstette
M. Sadrzadeh
2011
Experimental Support for a Categorical Compositional Distributional Model of Meaning
The 2014 Conference on Empirical Methods on Natural Language Processing.
1394–1404
Dimitri Kartsaklis
Mehrnoosh Sadrzadeh
2014
A Study of Entanglement in a Categorical Framework of Natural Language
Bob Coecke
Ichiro Hasuo
Prakash Panangaden
Proceedings of the 11th workshop on Quantum Physics and Logic, Kyoto, Japan, 4-6th June 2014
Electronic Proceedings in Theoretical Computer Science
172
Open Publishing Association
249–261
10.4204/EPTCS.172.17
G. M. Kelly
1972
Many-variable functorial calculus I
G. M. Kelly
M. Laplaza
G. Lewis
S. Mac Lane
Coherence in Categories
Lecture Notes in Mathematics
281
Springer-Verlag
66–105
10.1007/BF01898420
G. M. Kelly
M. L. Laplaza
1980
Coherence for compact closed categories
Journal of Pure and Applied Algebra
19
193–213
10.1016/0022-4049(80)90101-2
Joachim Lambek
1997
Type grammar revisited
International Conference on Logical Aspects of Computational Linguistics
Springer
1–27
10.1007/3-540-48975-4_1
Dan Marsden
Fabrizio Genovese
2017
Custom Hypergraph Categories via Generalized Relations
arXiv:1703.01204
Peter Selinger
2009
A survey of graphical languages for monoidal categories
Lecture Notes in Physics
813
289–355