Srensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Amsterdam: Elsevier.
Παραπομπή Chicago StyleSrensen, Morten Heine, and Pawe Urzyczyn. Lectures On the Curry-Howard Isomorphism. Amsterdam: Elsevier, 2006.
Παραπομπή MLASrensen, Morten Heine, and Pawe Urzyczyn. Lectures On the Curry-Howard Isomorphism. Amsterdam: Elsevier, 2006.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.