摘要：为量子计算机开发一个函数式编程语言的目标 量子计算机的经典控制模型的lambda演算的开发 使用调用-按值操作语义定义 使用线性逻辑提供类型系统 本文的主要结果是语言的安全性属性和类型推断算法的开发
作者：Peter Selinger, Benoit Valiron
论文ID：cs/0404056
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2009-02-26
PDF 下载： 英文版 中文版pdf翻译中