Semantic techniques in quantum computation - Gay, Simon; mackie, Ian (Cambridge Cambridge University Press, 2010)
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.
Includes bibliographical references and index.
Keywords: Quantum computers; Programming languages (Electronic computers); Quantum theory