DEV Community


Book: Introduction to Lambda Calculus by Henk Barendregt and Erik Barendsen

airtucha profile image Alexey Tukalo ・1 min read

It briefly explains the foundation of Lambda Calculus. The descriptions are mathematically heavy. Some of the unexpected implications might be impressive.

For beginners:

It might be a fascinating demonstration of how even the simplest programming concepts are powerful.

For experienced:

It seems to be like a perfect initial step to learn the foundations of mathematics.

Discussion (0)

Forem Open with the Forem app