nLab Handbook of Quantum Logic and Quantum Structures

The page compiles pointers related to the book collection:

• Kurt Engesser, Dov M. Gabbay and Daniel Lehmann (eds):

  
  

  Handbook of Quantum Logic and Quantum Structures

  Quantum logic

  
  

  Elsevier (2008)

  
  

  ISBN:9780080931661

  doi:10.1016/C2009-0-16935-0

  pdf

on quantum logic (mostly) and quantum systems.

Contents:

On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (finite quantum mechanics in terms of dagger-compact categories):

• Samson Abramsky, Bob Coecke, Categorical quantum mechanics, in Handbook of Quantum Logic and Quantum Structures, Elsevier (2008) [arXiv:0808.1023, ISBN:9780080931661, doi:10.1109/LICS.2004.1319636]

(…)

category: reference