2005-06-09 Lectures on the Curry-Howard Isomorphism functionals logic Morten Heine B. Sørensen Pawel Urzyczyn ! 273p. http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf