Can you explain how does this expression follow the grammar of lambda calculus?
$\lambda x.x((\lambda 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