[plt-scheme] The Lambda Calculus behind functional programming

On Sep 1, 2007, at 9:41 PM, Geoffrey S. Knauth wrote:

> On Aug 30, 2007, at 10:52, Matthias Felleisen wrote:
>> My perspective is that you use LC to express/model your favorite  
>> problem area in PL and then you use those methods from  
>> mathematical LC that can help you solve it. Time and again, this  
>> approach has helped me get results. And I believe that my modus  
>> operandi heavily borrows from a theoretical physicists approach to  
>> mathematics. I don't know of a book that uses this approach  
>> properly and I am hoping our Redex book will do it well.
>
> Just wondering...  What do you think of SICM (Structure and  
> Interpretation of Classical Mechanics, Sussman and Wisdom) ?

I know too little about it and its background to judge it. -- Matthias