Semantic techniques in quantum computation
Machine generated contents note: 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 isom...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
2010
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online Zugang: | Cover image Inhaltstext http://assets.cambridge.org/97805215/13746/cover/9780521513746.jpg |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Zusammenfassung: | Machine generated contents note: 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, Amelcar Sernadas, and Cristina Sernadas; 11. Specification and verification of quantum protocols Simon Gay, Rajagopal Nagarajan, and Nick Papanikolaou. |
|---|---|
| Beschreibung: | Formerly CIP Uk. - Includes bibliographical references and index. - 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 ... [et al.] -- Predicate transformer semantics of quantum programs / Minsheng Ying ... [et al.] -- The structure of partial isometries / Peter Hines and Samuel L. Braunstein -- Temporal logics for reasoning about quantum systems / Paulo Mateus ... [et al.] -- Specification and verification of quantum protocols / Simon J. Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou |
| Beschreibung: | XIV, 478 S. graph. Darst. 25 cm |
| ISBN: | 9780521513746 978-0-521-51374-6 |