NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 3 - Free Variable, Scope, and Reduction