Lecture 2: The Curry-Howard Correspondence

New channel Neelakantan Krishnaswami: title sample judged 'whole' (Full recorded university lecture series on type theory and semantics, every upload is a genuine academic lecture.); passed a second screen for sellers/exam-prep/re-uploads; 2 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.

A 40-minute video from Neelakantan Krishnaswami: “Lecture 2: The Curry-Howard Correspondence”.

Video by Neelakantan Krishnaswami, played through YouTube's embedded player.