For beginners, it is a compact introduction, including exercises, to the classical syntactic theory of combinators with some pointers to their models and their relation with λ -calculus. More advanced readers may find in the book much information on the connections between combinators and non-classical and substructural logics that are now a prominent topic in several areas, from philosophical logic to theoretical computer science, information that is mostly scattered through the research literature. --MATHEMATICAL REVIEWS, 2012 One of the commendable aspects of the book is its extensive and up-to-date bibliography, which deals with CL and other relevant topics in logic; it will surely aid many readers who may need to brush up on background information in the course of their study. --Computing Reviews, 2012.
Combinatory Logic : Pure, Applied and Typed