Can you explain how does this expression follow the grammar of lambda calculus?
λx.x((λy.yy)x)x = λx.x(xx)x
I am not sure why we have the parentheses following the .x (on both sides of the equation).
How is this expression a valid lambda expression?
matanox
- 361
- 4
- 9