52λ演算 λ演算是符号的逻辑演算系统,它正好只有这 三种机制,它就成为函数式程序设计语言的模 型 λ演算是一个符号、逻辑系统,其公式就是符。 号串并按逻辑规则操纵 Church的理论证明,λ演算是个完备的系统 可以表示任何计算函数,所以任何可用λ演算 仿真实现的语言也是完备的5.2 λ演算 • λ演算是符号的逻辑演算系统，它正好只有这 三种机制， 它就成为函数式程序设计语言的模 型 • λ演算是一个符号、逻辑系统，其公式就是符 号串并按逻辑规则操纵 • Church的理论证明， λ演算是个完备的系统， 可以表示任何计算函数， 所以任何可用λ演算 仿真实现的语言也是完备的