خرید و دانلود نسخه کامل کتاب Lambda Calculus with Types

حساب لامبدا با انواع

Lambda Calculus with Types

نویسنده: Henk Barendregt, Wil Dekkers, Richard Statman

ناشر: Cambridge University Press

سال انتشار: 2013

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

زبان: English

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

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