Sørensen, M. H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard isomorphism. Elsevier.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Sørensen, Morten Heine, juo Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. Amsterdam ; Boston [MA]: Elsevier, 2006.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Sørensen, Morten Heine, juo Paweł Urzyczyn. Lectures on the Curry-Howard Isomorphism. Elsevier, 2006.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.