Semantic Techniques in Quantum Computation

Herausgeber: Gay, Simon; Mackie, Ian

• Gebundenes Buch

Produktbeschreibung

Explores quantum computation from the perspective of the branch of theoretical computer science known as semantics.

Produktdetails

• Verlag: European Community
• Seitenzahl: 492
• Erscheinungstermin: 30. November 2009
• Englisch
• Abmessung: 234mm x 163mm x 33mm
• Gewicht: 798g
• ISBN-13: 9780521513746
• ISBN-10: 052151374X
• Artikelnr.: 28107393

Inhaltsangabe

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 Benö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.