Semantic techniques in quantum computation - Info and Reading Options
By Simon Gay
"Semantic techniques in quantum computation" was published by Cambridge University Press in 2010 - Cambridge, it has 478 pages and the language of the book is English.
“Semantic techniques in quantum computation” Metadata:
- Title: ➤ Semantic techniques in quantum computation
- Author: Simon Gay
- Language: English
- Number of Pages: 478
- Publisher: Cambridge University Press
- Publish Date: 2010
- Publish Location: Cambridge
“Semantic techniques in quantum computation” Subjects and Themes:
- Subjects: Quantum theory - Quantum computers - Semantics - Programming languages (Electronic computers) - Programming languages (electronic computers)
Edition Specifications:
- Pagination: xiv, 478 p. :
Edition Identifiers:
- The Open Library ID: OL24461635M - OL15499720W
- Online Computer Library Center (OCLC) ID: 429025590
- Library of Congress Control Number (LCCN): 2009032804
- ISBN-13: 9780521513746
- ISBN-10: 052151374X
- All ISBNs: 052151374X - 9780521513746
AI-generated Review of “Semantic techniques in quantum computation”:
"Semantic techniques in quantum computation" Table Of Contents:
- 1- No-cloning in categorical quantum mechanics / Samson Abramsky
- 2- Classical and quantum structuralism / Bob Coecke, Éric Oliver Paquette, and Dusko Pavlovic
- 3- Generalized proof-nets for compact categories with biproducts / Ross Duncan
- 4- Quantum lambda calculus / Peter Selinger and Benoît Valiron
- 5- The quantum IO monad / Thorsten Altenkirch and Alexander S. Green
- 6- Abstract interpretation techniques for quantum computation / Philippe Jorrand and Simon Perdrix
- 7- Extended measurement calculus / Cincent Danos ... [et al.]
- 8- Predicate transformer semantics of quantum programs / Minsheng Ying ... [et al.]
- 9- The structure of partial isometries / Peter Hines and Samuel L. Braunstein
- 10- Temporal logics for reasoning about quantum systems / Paulo Mateus ... [et al.]
- 11- Specification and verification of quantum protocols / Simon J. Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou.
"Semantic techniques in quantum computation" Description:
The Open Library:
"The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters from leading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher. "The study of computational processes based on the laws of quantum mechanics has led to the discovery of new algorithms, cryptographic techniques, and communication primitives. This book explores quantum computation from the perspective of the branch of theoretical computer science known as semantics, as an alternative to the more well-known studies of algorithmics, complexity theory, and information theory. It collects chapters fromleading researchers in the field, discussing the theory of quantum programming languages, logics and tools for reasoning about quantum systems, and novel approaches to the foundations of quantum mechanics. This book is suitable for graduate students and researchers in quantum information and computation, as well as those in semantics, who want to learn about a new field arising from the application of semantic techniques to quantum information and computation"--Provided by publisher.
Read “Semantic techniques in quantum computation”:
Read “Semantic techniques in quantum computation” by choosing from the options below.
Search for “Semantic techniques in quantum computation” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Semantic techniques in quantum computation" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: borrow
- Check if available: The Open Library & The Internet Archive
Find “Semantic techniques in quantum computation” in Libraries Near You:
Read or borrow “Semantic techniques in quantum computation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Semantic techniques in quantum computation” at a library near you.
Buy “Semantic techniques in quantum computation” online:
Shop for “Semantic techniques in quantum computation” on popular online marketplaces.
- Ebay: New and used books.