Lecture 1: Foundations of Lambda Calculus

In this lecture, we study the core motivations behind Lambda Calculus, Church vs Turing: Model of Computation, the notations of Lambda calculus and currying