An Introduction to Lambda Calculi for Computer Scientists

The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant... Comments: Well, I am not computer scientist. I am computer engineer. Yes, I have also... I could not get beyond the first chapter of Hankin's book.

I... This is a very nice book -- a good introduction to lambda Calculus, including... I thought that having an undergraduate degree in computer science would qualify... Read More »

Related Items

1. The Haskell Road to Logic, Maths and Programming (Texts in Computing)
2. The Haskell School of Expression: Learning Functional Programming through Multimedia
3. Types and Programming Languages
4. Real World Haskell
5. Purely Functional Data Structures