# [plt-scheme] lambda calculus

Barendregt, The Lambda Calculus, 1980 is the source of all things LC
for a logician. Don't let the prerequisites turn you off.
On Aug 10, 2009, at 2:28 PM, Noel Welsh wrote:
>* You might try the "Lambda Calculus with PLT Redex" linked from
*>*
*>* http://telefonica.net/web2/koot/
*>*
*>* N.
*>*
*>* On Mon, Aug 10, 2009 at 7:17 PM, emre berat
*>* nebioğlu<beratn at gmail.com> wrote:
*>>* if the issue of this mail is off topic for this mail group i am
*>>* sorry.But i
*>>* am searching a source for lambda calculus).I dont know anything
*>>* about lambda
*>>* calculus at least i am beginner.Can someone suggest me a source
*>>* for lambda
*>>* calculus that explain normal form,reduction,Y operator,Z operator
*>>* etc.
*>>* Thanks.
*>>*
*>>* Notes : I am reading wikipedia.
*>* _________________________________________________
*>* For list-related administrative tasks:
*>* http://list.cs.brown.edu/mailman/listinfo/plt-scheme
*