由 Alonzo Church 和 Stephen Kleene 开发的一种形式逻辑，旨在解决可计算数问题。在 λ演算 中，
被定义为抽象运算符。λ演算 的三个定理是 
转换、
转换 和 
转换。λ归约（也称为 λ转换）指的是所有这三个。
λ演算
参见
组合子, 组合逻辑, 可计算数, λ转换使用 Wolfram|Alpha 探索
参考文献
Barendregt, H. P. The Lambda Calculus. 阿姆斯特丹，荷兰: North-Holland, 1981.Hankin, C. Lambda Calculi: A Guide for Computer Scientists. 牛津，英格兰: Oxford University Press, 1995.Hindley, J. R. 和 Seldin, J. P. Introduction to Combinators and lambda-Calculus. 剑桥，英格兰: Cambridge University Press, 1986.Penrose, R. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. 牛津，英格兰: Oxford University Press, pp. 66-70, 1989.Révész, G. E. Lambda-Calculus, Combinators, and Functional Programming. 剑桥，英格兰: Cambridge University Press, 1988.Seldin, J. P. 和 Hindley, J. R. (编辑). To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. 纽约: Academic Press, 1980.在 Wolfram|Alpha 中被引用
λ演算引用本文为
Eric W. Weisstein. "λ演算." 来自 MathWorld--Wolfram 网络资源. https://mathworld.net.cn/LambdaCalculus.html