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 16:42

Y f = f (Y f)

( Y )
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -