Talk:Lambda calculus definition

[Untitled]
Not everyone wants to know the definition of Lambda Calculus. For most people it is sufficient to know how to use it. This page is a step in that direction.

Thepigdog (talk) 23:41, 12 November 2014 (UTC)

Too technical
Tasks
 * Introduction is too short.
 * Evaluation strategy section needs to be carefully analyzed and simplified. A table to classify the approachs, and how they relate to normal form and weak head normal form.
 * Worked examples. Need to do this so they do not interrupt the flow. Collapsible tables are good for this.
 * General cleanup of wording.

This might take a while.

Thepigdog (talk) 00:03, 15 November 2014 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified one external link on Lambda calculus definition. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20040823174002/https://www.elsevier.com/wps/find/bookdescription.cws_home/501727/description to http://www.elsevier.com/wps/find/bookdescription.cws_home/501727/description

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 02:29, 11 May 2017 (UTC)