Lecture 10: Classical Logic and Continuations

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 63-minute video from Neelakantan Krishnaswami: “Lecture 10: Classical Logic and Continuations”.

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