λ演算来自(英语:lambda calculus,λ-calculus)是一套从数学逻辑中发展,以变量绑定和替换的规则,来研究函数如何抽象化定义、函数如何被应用以及递归的形360百科式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lamb源织毛跟单互尼da演算作为论还证怕溶一种广泛用途的计算模预市体黄正含型,可以清晰地定义什么是一个可计算函数,而任何可计算函数都能以这种形式表达和求值,它能模拟单一磁带图灵机的计算过程;尽管如此,lam生木令bda演算强调的是变换规则的运用,而非实现它们的具体机器。