NPTEL Video Course : NOC:Introduction to Lambda Calculus

Lecture 14 - The structure of a term, a TA𝜆 deduction, and a type