خرید و دانلود نسخه کامل کتاب Lectures on the Curry-Howard Isomorphism

سخنرانی در مورد ایزومورفیسم کاری-هاوارد

Lectures on the Curry-Howard Isomorphism

نویسنده: Morten Heine Sørensen, Paweł Urzyczyn

ناشر: Elsevier Science

سال انتشار: 2006

تعداد صفحات: 458

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 34 مگابایت