Semantics for a Quantum Programming Language by Operator Algebras
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show that the opposite category of the category of W*-algebras and normal completely positive s...
| 第一著者: | |
|---|---|
| フォーマット: | 論文 |
| 言語: | English |
| 出版事項: |
Open Publishing Association
2014-12-01
|
| シリーズ: | Electronic Proceedings in Theoretical Computer Science |
| オンライン･アクセス: | http://arxiv.org/pdf/1412.8545v1 |