An informal introduction to Lambda Calculus
medium.com