Semantic techniques in quantum computation [E-Book] / edited by Simon Gay, Ian Mackie.
Gay, Simon, (editor)
Mackie, I., (editor)
Cambridge : Cambridge University Press, 2010
1 online resource (xiv, 478 pages)
Full Text
Table of Contents:
  • No-cloning in categorical quantum mechanics / Samson Abramsky
  • Classical and quantum structuralism / Bob Coecke, Éric Oliver Paquette, and Dusko Pavlovic
  • Generalized proof-nets for compact categories with biproducts / Ross Duncan
  • Quantum lambda calculus / Peter Selinger and Benoît Valiron
  • The quantum IO monad / Thorsten Altenkirch and Alexander S. Green
  • Abstract interpretation techniques for quantum computation / Philippe Jorrand and Simon Perdrix
  • Extended measurement calculus / Cincent Danos [and others]
  • Predicate transformer semantics of quantum programs / Minsheng Ying [and others]
  • The structure of partial isometries / Peter Hines and Samuel L. Braunstein
  • Temporal logics for reasoning about quantum systems / Paulo Mateus [and others]
  • Specification and verification of quantum protocols / Simon J. Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou.