<!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.16850" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV><FONT face="Courier New" size=2>New version of "Lambda Calculus through Redex" now available at:</FONT></DIV> <DIV><FONT face="Courier New" size=2></FONT> </DIV> <DIV> <DIV><FONT face="Courier New" size=2><A href="http://www.telefonica.net/web2/koot/lc-with-redex.zip">http://www.telefonica.net/web2/koot/lc-with-redex.zip</A></FONT></DIV> <DIV><FONT face="Courier New" size=2>or</FONT></DIV> <DIV><FONT face="Courier New" size=2><A href="http://www.telefonica.net/web2/koot/">http://www.telefonica.net/web2/koot/</A></FONT></DIV> <DIV><FONT face="Courier New" size=2></FONT> </DIV></DIV> <DIV><FONT face="Courier New" size=2>- Some typos corrected.</FONT></DIV> <DIV><FONT face="Courier New" size=2>- Minor mods in sources.</FONT></DIV> <DIV><FONT face="Courier New" size=2>- Acknowledgements added.</FONT></DIV> <DIV><FONT face="Courier New" size=2></FONT> </DIV> <DIV><FONT face="Courier New" size=2>With thanks to Eli Barzilay for again converting doc->pdf.</FONT></DIV> <DIV><FONT face="Courier New" size=2>Jos</FONT></DIV> <DIV><FONT face="Courier New" size=2><A href="http://www.telefonica.net/web2/koot/lc-with-redex.zip"></A></FONT> </DIV></BODY></HTML>