Comment by m-hodges

A few years ago I wrote up a brief introduction to Lambda Calculus with Python¹ ideas while remaining light on mathematical notation.

¹ https://matthodges.com/posts/2022-07-17-exploring-lambda-cal...