即eta-变换也是有效的。
资料类型的编码.基本的lambda演算法可用于建构布林值，算术，资料结构和递归的模型，如以下各小节所述。
lambda演算中的算术.在lambda演算中有许多方式都可以定义自然数，但最常见的还是邱奇数，下面是它们的定义：以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个高阶函数 -- 以单一参数函数f为参数，返回另一个单一参数的函数。(注意在邱奇原