(4)简略表示 缩写与变形表达下例各表达均等效 λa.λb.λC.λZ.E=abCz.E n(abc).E λ(a,b,c,z).E λa.(λb.(λc.(λz.E))(4) 简略表示 • 缩写与变形表达 下例各表达均等效： λa.λb.λc.λz.E = λabcz.E = λ(abcz).E = λ(a，b，c，z).E =λa.(λb.(λc.(λz.E)))