[plt-scheme] lambda calculus

From: Todd O'Bryan (toddobryan at gmail.com)
Date: Tue Aug 11 21:11:05 EDT 2009

"The game *would* consist of a series of puzzles, challenging the
player to devise a family that, when fed X, produces Y."

I want the game!!! Anybody have any good puzzles that I could use in class?

On Tue, Aug 11, 2009 at 10:05 AM, Stephen De
Gabrielle<stephen.degabrielle at acm.org> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.