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