References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. B. Coecke, C. Heunen & A. Kissinger (2014): Categories of quantum and classical channels. Quantum Information and Computation, doi:10.1007/s11128-014-0837-4.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org