[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