Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Explain Fixed Pint Combinator

Name: Anonymous 2012-01-23 16:36

Im stupid, can someone explain to me what the lambda calculus expression for Y combinator: Y = λf·(λx·f (x x)) (λx·f (x x)) means?

Name: Anonymous 2012-01-23 19:56

ok thank you I get that now, but what I still dont get is where is the fixed point being returned? I mean if I do Y(g(x)) with g(x)=x^2 where and how along the execution does the solution 1 arises

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List