一种函数式量子编程语言
量子物理
2008-05-06 v5
摘要
我们引入语言 QML，一种用于有限类型上量子计算的函数式语言。其设计受范畴语义指导：QML 程序由有限量子计算范畴 FQC 中的态射解释，该范畴为可实现为量子门的不可逆量子计算提供了构造性语义。QML 使用一阶严格线性逻辑使弱化显式化，将可逆与不可逆量子计算集成于一种语言之中。严格程序免于退相干，因而保持叠加与纠缠——这对量子并行性至关重要。
引用
@article{arxiv.quant-ph/0409065,
title = {A functional quantum programming language},
author = {Thorsten Altenkirch and Jonathan Grattage},
journal= {arXiv preprint arXiv:quant-ph/0409065},
year = {2008}
}
备注
15 pages. Final version, to appear in Logic in Computer Science 2005