λ\lambda Expression

The following λ\lambda expression can be simplified to which of the options?

(λx.(λx.x))y(\lambda x.\big(\lambda x.x)\big)y


Inspiration: λ\lambda calculus

×

Problem Loading...

Note Loading...

Set Loading...