<story><title>The Impact of the Lambda Calculus (1997) [pdf]</title><url>http://www-users.mat.umk.pl/~adwid/materialy/doc/church.pdf</url></story><parent_chain></parent_chain><comment><author>galaxyLogic</author><text>An interesting detail from the paper is why it is called &amp;quot;LAMBDA&amp;quot;. That is because in the original notation what current-day programmers would call formal argument of a function were denoted by putting an upward arrow-head on top of variable&amp;#x2F;name but since that could not be type-set easily the arrow-head was moved in front of such variable which resembles the Greek letter &amp;quot;lambda&amp;quot;.</text></comment>
<story><title>The Impact of the Lambda Calculus (1997) [pdf]</title><url>http://www-users.mat.umk.pl/~adwid/materialy/doc/church.pdf</url></story><parent_chain></parent_chain><comment><author>galaxyLogic</author><text>My question would be, why is Lambda-calculus not a good programming language in practice?</text></comment>