previous

top

next
Examples of lambdaterms
The lambdaterms I = (\x.x), K = (\x.(\y.x)), B = (\x.(\y.(\z.(x(yz))))) and C = (\x.(\y.(\z.((xz)y))))