量子高阶函数中纠缠与可分性的逻辑分析
计算机科学中的逻辑
2015-05-13 v1
摘要
我们提出了一种针对函数量子计算语言的逻辑可分性分析。该逻辑受先前关于命令式函数程序别名逻辑分析工作的启发。这两种分析具有显著的相似性，特别是因为它们都是高度非组合的。量子环境更难处理，因为它引入了非确定性，从而极大地改变了语义和逻辑断言的有效性。这是首个针对包含高阶函数的函数量子编程语言提出的纠缠/可分性分析方案。
引用
@article{arxiv.0801.0649,
title = {A logical analysis of entanglement and separability in quantum higher-order functions},
author = {F. Prost and C. Zerrari},
journal= {arXiv preprint arXiv:0801.0649},
year = {2015}
}
备注
19 pages