[plt-scheme] lambda calculus

And as John C. pointed out, good thing we included "PLT" in the title, eh?  :)

Robby

On Tue, Aug 11, 2009 at 10:55 AM, Jay McCarthy<jay.mccarthy at gmail.com> wrote:
> I just realized the acronym is SEwPR and I love it!
>
> Jay
>
> On Mon, Aug 10, 2009 at 6:36 PM, Robby
> Findler<robby at eecs.northwestern.edu> wrote:
>> Also, (but only if you want to spend actual money): check out
>> _Semantics Engineering with PLT Redex_. The prologue is online here:
>>
>>  http://redex.plt-scheme.org/
>>
>> Robby
>>
>> 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
>>>
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://teammccarthy.org/jay
>
> "The glory of God is Intelligence" - D&C 93
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>