λ演算(英语:lambda c来自alculus，λ-calcu360百科lus)是一套从数学逻辑中发展，以变量绑定和替换的规则，来研究函数如何抽象化定义、函数如何被应用以风另处吃及递归的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函数，而任何可计算函数都能以这种形式表达和求值，它某茶识明能模拟单一磁模上手图哪沿带图灵机的计算过程;尽管如此，lam认bda演算强调的是变火换规则的运用，而非实现它们的具体机器。