<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <META content="MSHTML 6.00.6000.16825" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV>Hi,</DIV> <DIV>I love Lambda Calculus for its beauty. It is about lambda. If, as a schemer, you are interested in the origin of lambda and the beautiful mathematics on which it is based, you are invited to have a look in:</DIV> <DIV><BR></DIV> <DIV><A href="http://telefonica.net/web2/koot/lc-with-redex.zip">http://telefonica.net/web2/koot/lc-with-redex.zip</A></DIV> <DIV> </DIV> <DIV>In this zip directory you can find file lc-with-Redex.doc which is a short intro in Lambda Calculus and contains info on how to use the material that goes with the essay. I have included a very condenced note on a system even without lambda, which is called 'combinatory logic'. My essay is adressed to Schemers and uses PLT Scheme, particularly PLT's redex library. It has become somewhat more verbose than I had in mind originally. If you have any ideas how to condence and simplify further without loosing too much content and accuracy, I welcome your suggestions. Comments about inaccuracies and other faults are welcome too, of course. My essay does not contain any new views. It is a compilation of views taken from books that have inspired me. They are mentioned in the essay.</DIV> <DIV> </DIV> <DIV>If the format of the above link does not suit you, give me a ping and I'll try to send you the material in a format that suits you.</DIV> <DIV> </DIV> <DIV>With thanks to <SPAN lang=EN-GB style="FONT-SIZE: 12pt; FONT-FAMILY: 'Times New Roman'; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-GB; mso-fareast-language: NL; mso-bidi-language: AR-SA">Douglas R. Hofstadter,</SPAN> Daniel P Friedman, Matthias Felleisen, Roby Findler, Casey Klein and others, in all feasible orders.</DIV> <DIV>Jos</DIV></BODY></HTML>