APA (7th ed.) Citation

Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism (First edition.). Elsevier.

Chicago Style (17th ed.) Citation

Sørensen, Morten Heine, and Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. First edition. Amsterdam, The Netherlands; Boston, USA: Elsevier, 2006.

MLA (9th ed.) Citation

Sørensen, Morten Heine, and Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. First edition. Elsevier, 2006.