( λx.M) N = M [ x : = N ]
M = N ⇒ MZ = NZ and ZM = ZN
M = N ⇒ λx.M = λx.N
slide
:
The lambda calculus -- laws