S�rensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Elsevier.
Cita Chicago Style (17a ed.)S�rensen, Morten Heine, y Pawe� Urzyczyn. Lectures on the Curry-Howard Isomorphism. Amsterdam ; Boston [MA]: Elsevier, 2006.
Cita MLA (8a ed.)S�rensen, Morten Heine, y Pawe� Urzyczyn. Lectures on the Curry-Howard Isomorphism. Elsevier, 2006.
Precaución: Estas citas no son 100% exactas.