NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 5 - Encoding if-then-else and Recursion