Sorensen, M. H. (2007). Lectures on the Curry-Howard isomorphism. Elsevier.
Cita Chicago Style (17a ed.)Sorensen, Morten Heine. Lectures on the Curry-Howard Isomorphism. Amsterdam [etc.]: Elsevier, 2007.
Cita MLA (9a ed.)Sorensen, Morten Heine. Lectures on the Curry-Howard Isomorphism. Elsevier, 2007.
Precaución: Estas citas no son 100% exactas.