Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism (1. ed.). Elsevier.
Chicago-Zitierstil (17. Ausg.)Sørensen, Morten Heine, und Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. 1. ed. Amsterdam [u.a.]: Elsevier, 2006.
MLA-Zitierstil (9. Ausg.)Sørensen, Morten Heine, und Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. 1. ed. Elsevier, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.