[plt-scheme] lambda calculus

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Aug 10 20:36:06 EDT 2009

Also, (but only if you want to spend actual money): check out
_Semantics Engineering with PLT Redex_. The prologue is online here:



2009/8/10 Noel Welsh <noelwelsh at gmail.com>:
> 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

Posted on the users mailing list.