This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called "lambda-philosophy": a branch of logic-based analytic philosophy in the tradition of Frege and Russell, directly constructed from the lambda-calculus. Another innovation of the book is a new graphical and intuitive logico-mathematical notation for the lambda-calculus called "the container notation".

The book covers in detail some episodes of the history of the subject, including...