Lambda Calculus Stanford CS242, Programming Languages: https://cs242.stanford.edu/f18/lectures/01-2-lambda-calculus.html