Lecture 2: The Curry-Howard Correspondence
Channel: Neelakantan Krishnaswami
Date: 2020-10-08

This lecture is about the celebrated Curry-Howard correspondence, and how concepts in logic correspond to concepts in functional programming.