NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 8 - Encoding Boolean Operations and Standard Combinators