S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS),
pp. 415–425,
doi: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,
doi:10.1017/9781316219317.
B. Coecke, M. Sadrzadeh & S. Clark (2010):
Mathematical Foundations for Distributed Compositional Model of Meaning. Lambek Festschrift.
Linguistic Analysis 36,
pp. 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),
pp. 1079–1100,
doi:10.1016/j.apal.2013.05.009.
Stefano Gogioso (2016):
A Corpus-based Toy Model for DisCoCat.
In: 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,
pp. 20–28,
doi: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.
In: The 2014 Conference on Empirical Methods on Natural Language Processing.,
pp. 1394–1404.
Dimitri Kartsaklis & Mehrnoosh Sadrzadeh (2014):
A Study of Entanglement in a Categorical Framework of Natural Language.
In: 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,
pp. 249–261,
doi:10.4204/EPTCS.172.17.
G. M. Kelly (1972):
Many-variable functorial calculus I.
In: G. M. Kelly, M. Laplaza, G. Lewis & S. Mac Lane: Coherence in Categories,
Lecture Notes in Mathematics 281.
Springer-Verlag,
pp. 66–105,
doi:10.1007/BF01898420.
G. M. Kelly & M. L. Laplaza (1980):
Coherence for compact closed categories.
Journal of Pure and Applied Algebra 19,
pp. 193–213,
doi:10.1016/0022-4049(80)90101-2.
Joachim Lambek (1997):
Type grammar revisited.
In: International Conference on Logical Aspects of Computational Linguistics.
Springer,
pp. 1–27,
doi: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,
pp. 289–355.
eptcs@eptcs.org