J. Symbolic Logic 'The best general book on lambda-calculus (typed or untyped) and the theory of combinators.' Gérard Huet, INRIA '… for teaching and for research or self-study the book is an ...