$((\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 ?
$((\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 ?
Copyright © 2021 JogjaFile Inc.