一种带经典控制的量子计算 lambda 演算
计算机科学中的逻辑
2009-02-26 v2
摘要
本文旨在为量子计算机开发一种函数式编程语言。基于第一作者在量子流程图方面的工作，我们为经典控制模型开发了一种 lambda 演算。我们定义了传值调用操作语义，并给出了一个使用仿射直觉线性逻辑的类型系统。本文的主要结果是该语言的安全性性质以及类型推断算法的开发。
引用
@article{arxiv.cs/0404056,
title = {A lambda calculus for quantum computation with classical control},
author = {Peter Selinger and Benoit Valiron},
journal= {arXiv preprint arXiv:cs/0404056},
year = {2009}
}
备注
15 pages, submitted to TLCA'05. Note: this is basically the work done during the first author master, his thesis can be found on his webpage. Modifications: almost everything reformulated; recursion removed since the way it was stated didn't satisfy lemma 11; type inference algorithm added; example of an implementation of quantum teleportation added