The title of the book is supposed to point out that it is not programming in a specific language that the book is all about, but
programming as such, the essence of programming, which is found on a higher level of abstraction.
The guide to discover this higher
level of abstraction for programming is the Lambda Calculus, a logical system invented by the American logician Alonzo Church already in 1941.
Subsections
