You are viewing a single comment's thread. Return to all comments →
(Function)argument e.g (λx.(+1)x)3 = (λx.+1 x)3 = (+ 1 3) = 4
((λx.(x y))(λz.z)) = (λx.(x y))(λz.z) = ((λz.z)y) = (λz.z)y = y
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #1
You are viewing a single comment's thread. Return to all comments →