NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 2 - Syntax of Lambda Calculus