Semantic Techniques in Quantum Computation (Hardcover)

1. No-cloning in categorical quantum mechanics Samson Abramsky; 2. Classical and quantum structuralism Bob Coecke, Eric Oliver Paquette, and Dusko Pavlovic; 3. Generalized proof-nets for compact categories with biproducts Ross Duncan; 4. The structure of partial isometries Peter Hines and Sam Braunstein; 5. Extended measurement calculus Vincent Danos, Elham Kashefi, Prakash Panangaden, and Simon Perdrix; 6. Abstract interpretation techniques for quantum computation Philippe Jorrand and Simon Perdrix; 7. Predicate transformer semantics of quantum programs Mingsheng Ying, Yuan Feng, Runyao Duan, and Zhengfeng Ji; 8. The quantum io monad Thorsten Altenkirch and Alexander Green; 9. Quantum lambda calculus Peter Selinger and Benoıt Valiron; 10. Temporal logics for reasoning about quantum systems Paulo Mateus, Jaime Ramos, Amılcar Sernadas, and Cristina Sernadas; 11. Specification and verification of quantum protocols Simon Gay, Rajagopal Nagarajan, and Nick Papanikolaou.