• Bibliografía


    Si bien no vamos a seguir un texto determinado, la siguiente es una lista de aquellas obras salientes de las se ha tomado material.

     

    • Basic Proof Theory, A. S. Troelstra and H. Schwichtenberg (Paperback- Jul 31, 2000), CUP.
    • Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics), Morten Heine Sørensen and Pawel Urzyczyn  (Sep 28, 2006),
    • Types and Programming Languages, Benjamin C. Pierce (Feb 1, 2002), MIT Press.
    • Handbook of Proof Theory, Samuel Buss (ed), Volume 137 (Studies in Logic and the Foundations of Mathematics), Elsevier, 1998.
    • Structural Proof Theory, Sara Negri, Jan von Plato and Aarne Ranta (Paperback - Jul 10, 2008), CUP.
    • Papers varios a ser mencionados durante el curso