NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 7 - Church numerals and design of some functions