Comment by arisbe__
3 years ago
An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson really spells out the lambda calculus.
Regarding combinators the famous intro is the latter half of Raymond Smullyan's To Mock a Mockingbird.
Ha, Greg was my lecturer at Heriot-Watt for a few classes. I revisited his book last year during lockdown and would recommend it.