For anyone that wants a readable overview of the λ-calculus, I recommend reading the second chapter in Simon Peyton Jones' book: http://research.microsoft.com

For anyone that wants a readable overview of the λ-calculus, I recommend reading the second chapter in Simon Peyton Jones' book: http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/ http://research.microsoft.com/en-us/um/people/simonpj/papers...