λ演算使函数概念形式化,是涉及变量、函 数、函数组合规则的演算。 入演算基于最简单的定义函数的思想:一为 函数抽象λX.E,一为函数应用(λxE)(a)。 高阶函数。如入xC(为常量)是常函Q合 切变量、标识符、表达式都是函数或(• λ演算使函数概念形式化，是涉及变量、函 数、函数组合规则的演算。 • λ演算基于最简单的定义函数的思想： 一为 函数抽象λx.E， 一为函数应用(λx.E)(a)。 • 一切变量、标识符、表达式都是函数或(复合) 高阶函数。如λx.C(C为常量)是常函数