DEV Community

Alexey Tukalo
Alexey Tukalo

Posted on

1

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

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.

Top comments (0)

Billboard image

Create up to 10 Postgres Databases on Neon's free plan.

If you're starting a new project, Neon has got your databases covered. No credit cards. No trials. No getting in your way.

Try Neon for Free →

👋 Kindness is contagious

Please leave a ❤️ or a friendly comment on this post if you found it helpful!

Okay