APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Sørensen, Morten Heine, and Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. 1. ed. Amsterdam [u.a.]: Elsevier, 2006.

MLA (9th ed.) Citation

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