S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in Computer Science 19.
IEEE Computer Society,
pp. 415–425,
doi:10.1109/lics.2004.1319636.
G. Chiribella (2014):
Dilation of states and processes in operational-probabilistic theories.
In: Quantum Physics and Logic 11,
EPTCS 172,
pp. 1–14,
doi:10.4204/EPTCS.172.1.
G. Chiribella, G. M. D'Ariano & P. Perinotti (2011):
Informational derivation of quantum theory.
Physical Review A 84,
pp. 012311,
doi:10.1103/PhysRevA.84.012311.
B. Coecke (2008):
Axiomatic Description of Mixed States From Selinger's CPM-construction.
In: Quantum Physics and Logic 4 210,
pp. 3–13,
doi:10.1016/j.entcs.2008.04.014.
B. Coecke & C. Heunen (2014):
Pictures of completely positivity in arbitrary dimension.
In: Quantum Physics and Logic 8,
EPTCS 95,
pp. 27–35,
doi:10.4204/EPTCS.95.4.
B. Coecke, C. Heunen & A. Kissinger (2014):
Categories of quantum and classical channels.
Quantum Information and Computation,
doi:10.1007/s11128-014-0837-4.
B. Coecke & É. O. Paquette (2008):
POVMs and Naimark's theorem without sums.
In: Quantum Physics and Logic 4,
ENTCS 210,
pp. 15–31,
doi:10.1016/J.ENTCS.2008.04.015.
B. Coecke & S. Perdrix (2010):
Environment and classical channels in categorical quantum mechanics.
Logical Methods in Computer Science 8(4),
pp. 14,
doi:10.2168/LMCS-8(4:14)2012.
C. Heunen & S. Boixo (2012):
Completely positive classical structures and sequentializable quantum protocols.
In: Quantum Physics and Logic 8,
EPTCS 95,
pp. 91–101,
doi:10.4204/EPTCS.95.9.
C. Heunen, A. Kissinger & P. Selinger (2014):
Completely positive projections and biproducts.
In: Quantum Physics and Logic 10,
EPTCS 171,
pp. 71–83,
doi:10.4204/EPTCS.171.7.
C. Heunen, J. Vicary & L. Wester (2014):
Mixed quantum states in higher categories.
In: Quantum Physics and Logic 11,
EPTCS 172,
pp. 304–315,
doi:10.4204/EPTCS.172.22.
P. Selinger (2006):
Idempotents in dagger categories.
In: Quantum Physics and Logic 4,
ENTCS 210,
pp. 107–122,
doi:10.1016/j.entcs/2008.04.021.
P. Selinger (2007):
Dagger compact closed categories and completely positive maps.
In: Quantum Physics and Logic 3,
ENTCS 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
P. Selinger (2009):
A survey of graphical languages for monoidal categories.
In: New Structures for Physics,
Lecture Notes in Physics.
Springer,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.