NPTEL Video Course : NOC:Introduction to Lambda Calculus


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

1x
Search within video (e.g: "algorithm", "compiler" or "coding theory")

                       

Speech Recogniser Status: Not Recognising


    /
            


    DIGIMAT Learning Management Platform