NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 18 - Curry-Howard Correspondence - I