Sørensen, M. H. (2006). Lectures on the Curry-Howard isomorphism. Elsevier.
Chicago-Zitierstil (17. Ausg.)Sørensen, Morten Heine. Lectures on the Curry-Howard Isomorphism. Amsterdam: Elsevier, 2006.
MLA-Zitierstil (9. Ausg.)Sørensen, Morten Heine. Lectures on the Curry-Howard Isomorphism. Elsevier, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.