News for hackers. Stuff that matters.

A comment on Lambda Calculus in 400 Bytes. Parent comment

Re:Lambda Calculus in 400 Bytes by arisbe__ on Monday February 28, 2022 @03:45AM (#30497752)
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.

[ Parent | on HN ]
Re:Lambda Calculus in 400 Bytes by smcl on Monday February 28, 2022 @08:09AM (#30499413)
Ha, Greg was my lecturer at Heriot-Watt for a few classes. I revisited his book last year during lockdown and would recommend it.
[ Parent | on HN ]