ExpressionMeaning\lambda x.1The constant value 1\lambda x.xThe identity \lambda x.x+1 f(x)=x+1 \lambda n.\lambda x.x+n f(n) = g where g(x) = x+n.