How to transform lambda-calculus programs to combinatory logic

June 6, 2008 – 9:54 am

webmaster@algebra.com:

Since you mentioned some familiarity with the lambda-calculus, you might find it interesting that there is a simple, straightforward procedure for transforming lambda-calculus programs to combinatory logic. …

Read more

Share and Enjoy: These icons link to social bookmarking sites where readers can share and discover new web pages.
  • Digg
  • del.icio.us
  • Netvouz
  • DZone
  • ThisNext
  • MisterWong
  • Wists
Related:

You must be logged in to post a comment.