Why is the substitution $((\lambda x \to (\lambda y \to xyz))x)[y/z] $ not allowed?

77 Views Asked by At

$((\lambda x \to (\lambda y \to xyz))x)[y/z] $ means we subsitute every z with y.

Isnt the inner z variable free and thus substitutable ?