由 Alonzo Church 和 Stephen Kleene 開發的一種形式邏輯，旨在解決可計算數問題。在 λ演算 中，
被定義為抽象運算子。λ演算 的三個定理是 
轉換、
轉換 和 
轉換。λ歸約（也稱為 λ轉換）指的是所有這三個。
λ演算
參見
組合子, 組合邏輯, 可計算數, λ轉換使用 探索
參考文獻
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.在 中被引用
λ演算引用本文為
Eric W. Weisstein. "λ演算." 來自 網路資源. https://mathworld.tw/LambdaCalculus.html