[plt-scheme] lambda calculus

From: Stephen De Gabrielle (stephen.degabrielle at acm.org)
Date: Tue Aug 11 10:05:44 EDT 2009

there is also this;
http://worrydream.com/AlligatorEggs/
:)

On Monday, August 10, 2009, 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.
>
>

-- 

--
Stephen De Gabrielle
stephen.degabrielle at acm.org
Telephone +44 (0)20 85670911
Mobile        +44 (0)79 85189045
http://www.degabrielle.name/stephen


Posted on the users mailing list.