机构名称：
¥ 4.0
20 世纪 30 年代，Church 和 Curry 开发了 lambda 演算，这是一种表达高阶函数的形式化方法。简而言之，高阶函数是一种输入或输出“黑箱”的函数，而黑箱本身也是一个 (可能是高阶的) 函数。高阶函数是一种计算能力强大的工具。事实上，纯无类型 lambda 演算具有与图灵机 (Turing, 1937) 相同的计算能力。同时，高阶函数对程序员来说是一种有用的抽象。它们构成了函数式编程语言的基础，例如 LISP (McCarthy, 1960)、Scheme (Sussman and Steele Jr, 1975)、ML (Milner, 1978) 和 Haskell (Hudak et al., 2007)。在本章中，我们将讨论如何将高阶函数与量子计算相结合。我们认为这是一个有趣的问题，原因有很多。首先，高阶函数与量子现象的结合带来了纠缠函数的前景。某些众所周知的量子现象可以自然地描述为
1 量子 Lambda 演算
主要关键词
相关文件推荐
