[plt-scheme] The Lambda Calculus behind functional programming

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) ?