We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
At the end I am left with (λz.w). While I know that it is true that this maps any z to w, why is it legal to write w instead of (λz.w)? w is a reference wheras (λz.w) is a function.
Lambda Calculus - Reductions #2
You are viewing a single comment's thread. Return to all comments →
At the end I am left with
(λz.w)
. While I know that it is true that this maps any z to w, why is it legal to writew
instead of(λz.w)
?w
is a reference wheras(λz.w)
is a function.