Found in 6 comments on Hacker News
jumanjisama · 2021-06-28 · Original thread
I have good experience with this book: An Introduction to Functional Programming Through Lambda Calculus

It starts with the general rules of lambda calculus, then build up some basic functions (like in the PDF linked in this thread) and continues to build data types like Natural Numbers, List, String, Tree and operators for manipulating them. The book also explains about the evaluation methods as well as covering how ML and LISP uses lambda calculus.

westoncb · 2018-07-06 · Original thread
Best resource I've found is a book called "Introduction to Functional Programming through Lambda Calculus":
dragandj · 2016-10-09 · Original thread
This is an excellent book from the pen and paper era, that is more than modern (functional programming is popular now):
e19293001 · 2016-07-15 · Original thread
From my favorite author Anthony J. Dos Reis[0]

If you want to learn assembly language, computer architecture and C++ all at the same time: Assembly Language and Computer Architecture Using C++ and Java , Course Technology, 2004 [1]

If you want to learn how to write compilers, context free grammars, regular expressions and implement grep: Compiler Construction Using Java, JavaCC, and Yacc, IEEE/Wiley, 2012 [2]

If you want to learn functional programming, lambda calculus and LISP: An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson [3]

My programming skills had grown dramatically with this books. I would wholeheartedly recommend the books mentioned above for those who are interested to learn.

[0] -

[1] -

[2] -

[3] - -

e19293001 · 2015-12-11 · Original thread
I would recommend [0] An Introduction to Functional Programming Through Lambda Calculus. This does not require any mathematical background, starting from simple substitution through list processing. This is a good opportunity to introduce lambda calculus since the child is interested. I mean it, lambda calculus would be a good start.

[0] -

Fresh book recommendations delivered straight to your inbox every Thursday.