<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META content="text/html; charset=us-ascii" http-equiv=Content-Type> <META name=GENERATOR content="MSHTML 9.00.8112.16434"></HEAD> <BODY> <DIV><FONT face=Arial> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New">To whom it concerns,</FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New"></FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New">A new lambda-calculus-with-redex version is available on my web page:</FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New"></FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><A title=blocked::http://www.telefonica.net/web2/koot/ href="http://www.telefonica.net/web2/koot/"><FONT size=2 face="Courier New">http://www.telefonica.net/web2/koot/</FONT></A></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2><FONT face="Courier New">Rodolfo Carvalho<SPAN class=608221818-11102011> has been so kind as to indicate some typos and to convert my doc file to pdf. Thanks Rodolfo!</SPAN></FONT></FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New"></FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New">Inform me, please, when encountering any problems or errors or when you have other suggestions.</FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2 face="Courier New">Kind regards, Jos</FONT></SPAN></DIV> <DIV><SPAN class=866442214-05102011><FONT size=2></FONT></SPAN> </DIV> <DIV><SPAN class=866442214-05102011><FONT size=2></FONT></SPAN></DIV> <DIV><FONT size=2></FONT><FONT face=Arial><SPAN class=866442214-05102011><SPAN lang=ES-MODERN></DIV> <DIV><FONT size=2 face="Courier New">- renamed all <SPAN class=866442214-05102011>.ss and .scm </SPAN>files with suffi<SPAN class=866442214-05102011>x</SPAN> rkt.</FONT></DIV> <DIV><FONT size=2 face="Courier New"></FONT></DIV> <DIV><FONT face="Courier New"><FONT size=2>- improvement of the description of alpha congruence such as not to<SPAN class=866442214-05102011> </SPAN>be confused with equality<SPAN class=866442214-05102011>.</SPAN></FONT></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011></SPAN></FONT></DIV> <DIV><FONT face="Courier New"><FONT size=2>- a more elaborated text on the difference between traversal by<SPAN class=866442214-05102011> </SPAN><SPAN class=866442214-05102011>d</SPAN>epth and by width<SPAN class=866442214-05102011>.</SPAN></FONT></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011></SPAN></FONT></DIV> <DIV><FONT face="Courier New"><FONT size=2>- some minor <SPAN class=866442214-05102011>and </SPAN>estetical editing on the <SPAN class=866442214-05102011>text and </SPAN>source<SPAN class=866442214-05102011> codes</SPAN><SPAN class=866442214-05102011>.</SPAN></FONT></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011></SPAN></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011>- deletion of normal-order-beta-reductor-version-2, because I implemented it wrongly and it appeared not to be deterministic after all.</SPAN></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011></SPAN></FONT></DIV> <DIV><FONT size=2 face="Courier New"><SPAN class=866442214-05102011></SPAN></FONT></DIV> <DIV><FONT size=2></FONT></SPAN></SPAN></FONT></DIV></FONT></DIV></BODY></HTML>