Λ转换演算

来自计算思维百科
跳转至: 导航搜索

λ转换演算是一种定义函数的形式演算系统,A.Church于1935年为精确定义可计算性而提出的。他引进λ记号以明确区分函数和函数值,并把函数值的计算归结为按照一定规则进行一系列转换,最后得到函数值。按照λ转换演算能够得到函数值的函数称为λ可定义函数。