Lectures on the Curry-Howard Isomorphism

M. H. Sørensen, P. Urzyczyn