λ演算(英来自语:lambda calculus，λ-calculus)是一套从数学逻辑中发展，以变量绑赵让定和替换的规则弱构排，来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统。它由剧来升交互游成吃审数学家阿隆佐·邱奇在20世纪30年代360百科首次发表。lambda演算作为一种广夜己映附克育记海种泛用途的计算模型，可以清晰地定义什么未是一个可计算钱假注供编取函数，而任何可计算函数都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程;尽管如此，lamb孙紧观相老统da演算强调的是变换规降你解四过则的运用，而胜承或走非实现它们的具体机器。