λ \lambda Expression

Computer Science Level 2

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

x x y y λ x . x \lambda x.x None of the above

展豪 張 by 展豪 張 , 22, Hong Kong

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

展豪 張
Apr 26, 2016

Relevant wiki: Lambda Calculus

( λ x . ( λ x . x ) ) y = β λ y . y = α λ x . x \begin{aligned} & (\lambda x.(\lambda x.x))y \\ =_\beta \;\; & \lambda y.y \\ =_\alpha \;\; & \lambda x.x\end{aligned}

12 Helpful 0 Interesting 0 Brilliant 15 Confused

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...