由于λ演算中一切语义概念均用λ表达式表 达。为了清晰采用命名替换使之更易读。 λx.Ay.x //逻辑真值 TF12 入 Ⅹ.Ny.y //逻辑假值 λx.y.xy //数1 入x.y.x(xy //数2 zerop=n.n(λx.F)T/判零函数 注: zerop中的F、T可以用λ表达式展开由于λ演算中一切语义概念均用λ表达式表 达。 为了清晰采用命名替换使之更易读。 T = λx.λy.x //逻辑真值 F = λx.λy.y //逻辑假值 1 = λx.λy.x y //数1 2 = λx.λy.x(x y) //数2 zerop = λn.n(λx.F)T //判零函数 注：zerop中的F、T可以用λ表达式展开