previous
|
top
|
next
Examples of lambda-terms
The lambda-terms I = (\x.x), K = (\x.(\y.x)), B = (\x.(\y.(\z.(x(yz))))) and C = (\x.(\y.(\z.((xz)y))))