Normally, the specific variable names that we chose in the lambda calculus are meaningless - a function of x is the same thing as a function of a or b or c. In other words:
(λx.(λy.yx)) is equivalent to (λa.(λb.ba)) - renaming x to a and y to b…
Top comments (0)