Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science)
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated.