[1] |
M. H. B. Sorensen, Pawel Urzyczyn.
Lectures on the Curry-Howard Isomorphism. Volume 149 of Studies in Logic and the Foundations of Mathematics. Elsevier, 2006. |
[2] |
U. Dal Lago.
A Short Introduction to Implicit Computational Complexity. ESSLLI 2010 Lecture Notes, 2010. [pdf] |