lambda calculus：λ演算

λ演算（Lambda calculus）是一种由Alonzo Church和Stephen Kleene于1930年开发的程序语言数学基础，它可以用来表示所有可计算的函数。在正规化可计算性（也是可构造性和有效计算性）的概念努力中，Church和Kleene开发出一种只需要简单的句法和少量的语法约束强力有效地语言。这种语言把函数程序当成它的一个参数（一个函数是一套规则），把实体像其他变量一样表示，一个函数功能对另一个对的调用，或者当成“lambda抽象”（用希腊字母lambda表示的一个函数定义维抽象运算）。λ演算和类似合成逻辑和分类系统理论一样，他们是学习数学逻辑和计算机编程语言的重要基础。

最近更新时间：2008-06-17 EN