Slides and notes on Curry-Howard Isomorphism lectures