S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
S. Abramsky & B. Coecke (2008):
Categorical Quantum Mechanics.
In: K. Engesser, D. M. Gabbay & D. Lehmann: Handbook of Quantum Logic and Quantum Structures.
Elsevier.
E. Balkir (2014):
Using Density Matrices in a Compositional Distributional Model of Meaning.
University of Oxford.
B. Coecke, M. Sadrzadeh & S. Clark (2010):
Mathematical Foundations for Distributed Compositional Model of Meaning. Lambek Festschrift.
Linguistic Analysis 36,
pp. 345–384.
S. Gogioso (2015):
A Bestiary of Sets and Relations.
In preparation.
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.
R. Piedeleu (2014):
Ambiguity in Categorical Models of Meaning.
University of Oxford.
R. Piedeleu, D. Kartsaklis, B. Coecke & M. Sadrzadeh (2015):
Open System Categorical Quantum Semantics in Natural Language Processing.
arXiv preprint arXiv:1502.00831.
P. Selinger (2007):
Dagger compact closed categories and completely positive maps.
Electronic Notes in Theoretical Computer Science 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
P. Selinger (2010):
Autonomous categories in which A A^*.
In: Proceedings of the 7th workshop on Quantum Physics and Logic (QPL 2010),
pp. 151–160.
P. Selinger (2011):
A Survey of Graphical Languages for Monoidal Categories.
In: B. Coecke: New Structures for Physics,
Lecture Notes in Physics 813.
Springer,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.
eptcs@eptcs.org