Title: Lectures on the Curry-Howard isomorphism
Subjects: Curry-Howard isomorphism, Lambda calculus, Proof theory