Примеры лямбда-термов

x x≡ (x x)
λx.y x≡ (λx.(y x))
λxy.y x ≡ (λx.(λy.(y x))
λxy.y x (λz.z) ≡ (λx.(λy.((y x) (λz.z))))