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.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Semantic techniques in quantum computation. ISBN 9780521513746. Published by Cambridge University Press in 2010. Publication and catalogue information, links to buy online and reader comments.
