Lecture 3: Free Variable, Scope, and Reduction

In this lecture, we study free variables, Bound variables , scope, beta reduction , alpha renaming, eta conversion and computation examples.