[plt-scheme] lambda calculus

From: Noel Welsh (noelwelsh at gmail.com)
Date: Mon Aug 10 14:28:57 EDT 2009

You might try the "Lambda Calculus with PLT Redex" linked from



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.

Posted on the users mailing list.