Semantics for a Quantum Programming Language by Operator Algebras
New Generation Computing(2016)
摘要
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 of the category of W *-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.
更多查看译文
关键词
Quantum Computation,Quantum Programming Languages,Operator Algebras,Denotational Semantics,Complete Partial Orders
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要