You are viewing a single comment's thread. Return to all comments →
Hi, your formula derivation isn't right.
((λz.w) (λz.w)) = [(λz.w)/z]w = w
Reference:lambda.pdf
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #2
You are viewing a single comment's thread. Return to all comments →
Hi, your formula derivation isn't right.
((λz.w) (λz.w)) = [(λz.w)/z]w = w