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

noob needs help on lambda theory

Name: Anonymous 2007-10-08 12:38

explained the first few concept under lambda theory plz am really reallly stuck!!!! thqs!!

Name: Anonymous 2007-10-09 9:16

>>6
Natural number is just an N-th composition of function, e. g.

0 = λfx.x
1 = λfx.f(x)
2 = λfx.f(f(x))
These are called «Church numberbals».
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 -