NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 9 - Data Structures in Lambda Calculus