Lectures on the Curry-Howard isomorphism - Sørensen, Morten Heine (Studies in logic and the foundations of mathematics, 2006)