Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism (First edition.). Elsevier.
Cita Chicago (17th ed.)Sørensen, Morten Heine, i Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. First edition. Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.
Cita MLA (9th ed.)Sørensen, Morten Heine, i Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. First edition. Elsevier, 2006.
Atenció: Aquestes cites poden no estar 100% correctes.