Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Elsevier.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
Sørensen, Morten Heine, me Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. Amsterdam ; Boston [MA]: Elsevier, 2006.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
Sørensen, Morten Heine, me Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. Elsevier, 2006.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.