Quantum programming languages: survey and bibliography
From MaRDI portal
Publication:5482260
DOI10.1017/S0960129506005378zbMath1122.68021MaRDI QIDQ5482260
Publication date: 28 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items (26)
On block structures in quantum computation ⋮ Unnamed Item ⋮ Reachability analysis of quantum Markov decision processes ⋮ Encodability criteria for quantum based systems ⋮ Semantics for a quantum programming language by operator algebras ⋮ Semantic embedding for quantum algorithms ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Type structure and chiral breaking in the standard model ⋮ Quantum computation: from a programmer's perspective ⋮ Termination of nondeterministic quantum programs ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Probabilistic bisimulations for quantum processes ⋮ A model-theoretic interpretation of environment-induced superselection ⋮ Models of quantum computation and quantum programming languages ⋮ Quantum walks: a comprehensive review ⋮ Quantum loop programs ⋮ Generalised quantum weakest preconditions ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic ⋮ Reasoning about faulty quantum programs ⋮ Sized Types for Low-Level Quantum Metaprogramming ⋮ Implementing NChooseK on IBM Q Quantum Computer Systems ⋮ Quantum implicit computational complexity ⋮ A SCHEMATIC DEFINITION OF QUANTUM POLYNOMIAL TIME COMPUTABILITY ⋮ A Hierarchy of Quantum Semantics ⋮ Quantum Data and Control Made Easier
This page was built for publication: Quantum programming languages: survey and bibliography
