A lambda calculus for quantum computation with classical control

被引：0
|
作者：
Selinger, P [1 ]
Valiron, B [1 ]
机构：
[1] Univ Ottawa, Dept Math & Stat, Ottawa, ON K1N 6N5, Canada
来源：
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS | 2005年 / 3461卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.
引用
收藏
页码：354 / 368
页数：15
相关论文
共 50 条
12345