[plt-scheme] The Lambda Calculus behind functional programming

I've recently been working through the book "An Introduction to Lambda Calculi for Computer Scientists":

http://www.amazon.com/Introduction-Lambda-Calculi-Computer-Scientists/dp/0954300653/ref=pd_bbs_sr_1/103-0899652-5021466?ie=UTF8&s=books&qid=1188428868&sr=8-1

It's a decent book.  Not without flaws, but it gets the job done.  It's nowhere near as 
comprehensive as Barendregt, but it goes over the essentials in a reasonably short space.

Also, I just noticed that Church's original monograph on lambda calculus is in print:

http://www.amazon.com/Calculi-Lambda-Conversion-Mathematics-Studies/dp/0691083940/ref=sr_1_2/103-0899652-5021466?ie=UTF8&s=books&qid=1188428868&sr=8-2

I hear these books make great stocking stuffers.

Mike

Matthias Felleisen wrote:
> 
> On Aug 29, 2007, at 5:35 PM, Chris Stephenson wrote:
> 
>> What would your reading list be for the self study, apart from 
>> Barendregt?
> 
> 
> When I present this piece of the puzzle in PhD seminars, I use
> original literature as much as possible:
> 
>  Barendregt, The Lambda Calculus, North Holland
>  chapters 2 and 3
> 
>  Plotkin, Call-by-name, call-by-value, and the lambda calculus
>  Theoretical Computer Science, 1974
> 
>  Plotkin, PCF considered a programming language
>  Theoretical Computer Science, 1978
> 
> Optionally, if you wish to hook up pure LC with effects:
> 
>  Felleisen and Friedman,  Control operators, the SECD-machine, and the 
> lambda-calculus.
>  Formal Description of Programming Concepts III, North Holland, 1986
> 
> If you can wait, Robby is organizing a workshop and we intend to produce 
> a book from that. Not original literature but the first two above 
> explained for Comp Sci tists.
> 
> Alternatively, go to the NU PLT pubs site and download the monograph.
> 
> -- Matthias
> 
> 
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme