论文标题
快速概述lambda演算的量子控制方法
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
论文作者
论文摘要
在这个简短的概述中，我们从量子计算的基础开始，解释了量子和经典控制范式之间的差异。我们概述了Lambda微积分中的量子控制线，从未型微积分到分类和实现性模型不等。这是该领域过去十多年研究的摘要，从Arrighi和Dowek的开创性工作开始。
In this short overview, we start with the basics of quantum computing, explaining the difference between the quantum and the classical control paradigms. We give an overview of the quantum control line of research within the lambda calculus, ranging from untyped calculi up to categorical and realisability models. This is a summary of the last 10+ years of research in this area, starting from Arrighi and Dowek's seminal work until today.
