خرید و دانلود نسخه کامل کتاب Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

استخراج و محاسبه: جدی گرفتن مکاتبات کاری-هاوارد

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

نویسنده: Harold Simmons

ناشر: Cambridge University Press

سال انتشار: 2000

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

زبان: English

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

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