Abstract | ||
---|---|---|
This paper presents a novel semantics for a quantum programming language by , which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite of the category of *-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger. As a consequence, it gives a denotational semantics for Selinger’s first-order functional quantum programming language. The use of operator algebras allows us to accommodate infinite structures and to handle classical and quantum computations in a unified way. |
Year | DOI | Venue |
---|---|---|
2014 | https://doi.org/10.1007/s00354-016-0204-3 | New Generation Computing |
Keywords | Field | DocType |
Quantum Computation,Quantum Programming Languages,Operator Algebras,Denotational Semantics,Complete Partial Orders | Quantum programming,Operational semantics,Categorical quantum mechanics,Algebra,Computer science,Denotational semantics,Algorithm,Theoretical computer science,Quantum algorithm,POVM,Quantum channel,Quantum operation | Journal |
Volume | Issue | ISSN |
34 | 1 | 0288-3635 |
Citations | PageRank | References |
4 | 0.47 | 19 |
Authors | ||
1 |