Matches in Library of Congress for { <http://lccn.loc.gov/2009032804> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2009032804 contributor B11432339.
- 2009032804 created "2010.".
- 2009032804 date "2010".
- 2009032804 date "2010.".
- 2009032804 dateCopyrighted "2010.".
- 2009032804 description "Includes bibliographical references and index.".
- 2009032804 description "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.".
- 2009032804 extent "xiv, 478 p. :".
- 2009032804 identifier "052151374X (hardback)".
- 2009032804 identifier "9780521513746 (hardback)".
- 2009032804 identifier 9780521513746.jpg.
- 2009032804 issued "2010".
- 2009032804 issued "2010.".
- 2009032804 language "eng".
- 2009032804 publisher "Cambridge ; New York : Cambridge University Press,".
- 2009032804 subject "004.1 22".
- 2009032804 subject "Programming languages (Electronic computers) Semantics.".
- 2009032804 subject "QA76.889 .S36 2010".
- 2009032804 subject "Quantum computers.".
- 2009032804 subject "Quantum theory.".
- 2009032804 tableOfContents "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.".
- 2009032804 title "Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie.".
- 2009032804 type "text".
