00913cam a2200265 a 4500 14403842 20260624153140.0 060607s2007 ne a b 001 0 eng 9780444520777 (hbk.) 14403842 DLC Krea DLC 511.326 SOR Sorensen, Morten Heine. 179 Lectures on the Curry-Howard isomorphism / Morten Heine Sorensen and Pawe Urzyczyn. Boston : Elsevier, 2006. xiv, 442 p. : illustrations ; 25 cm. Studies in logic and the foundations of mathematics, vol. 149 180 Curry-Howard isomorphism. 181 Lambda calculus. 182 Proof theory. 65 Urzyczyn, Pawe. 183 ddc BK 124386 124386 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-06-24 Atlantic - 1214019/03 17388.00 1 511.326 SOR K19385 2026-08-12 2026-07-13 16:09:40 2026-07-13 2026-06-24 BK