Semantic techniques in quantum computation /

"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 sem...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Gay, Simon, 1969-, Mackie, I. (Ian)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2010.
Temas:
Quantum computers.
Programming languages (Electronic computers) > Semantics.
Quantum theory.
Ordinateurs quantiques.
Langages de programmation > Sémantique.
Théorie quantique.
COMPUTERS > Hardware > Mainframes & Minicomputers.
Programmiersprache
Quantencomputer
Semantik
Aufsatzsammlung.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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 [and others]
  • Predicate transformer semantics of quantum programs / Minsheng Ying [and others]
  • The structure of partial isometries / Peter Hines and Samuel L. Braunstein
  • Temporal logics for reasoning about quantum systems / Paulo Mateus [and others]
  • Specification and verification of quantum protocols / Simon J. Gay, Rajagopal Nagarajan, and Nikolaos Papanikolaou.

Ejemplares similares