著者紹介

内容

目次

1. No-cloning in categorical quantum mechanics Samson Abramsky; 2.Classical and quantum structuralism Bob Coecke, Eric Oliver Paquette, andDusko Pavlovic; 3. Generalized proof-nets for compact categories withbiproducts Ross Duncan; 4. The structure of partial isometries Peter Hinesand Sam Braunstein; 5. Extended measurement calculus Vincent Danos, ElhamKashefi, Prakash Panangaden, and Simon Perdrix; 6. Abstract interpretationtechniques for quantum computation Philippe Jorrand and Simon Perdrix; 7.Predicate transformer semantics of quantum programs Mingsheng Ying, YuanFeng, Runyao Duan, and Zhengfeng Ji; 8. The quantum io monad ThorstenAltenkirch and Alexander Green; 9. Quantum lambda calculus Peter Selinger andBeno t Valiron; 10. Temporal logics for reasoning about quantum systems PauloMateus, Jaime Ramos, Am lcar Sernadas, and Cristina Sernadas; 11.Specification and verification of quantum protocols Simon Gay, RajagopalNagarajan, and Nick Papanikolaou.