Found in 5 comments on Hacker News
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.