NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 19 - Curry-Howard Correspondence - II