خرید و دانلود نسخه کامل کتاب Lambda-calculus, types and models

Lambda-Calculus ، انواع و مدل ها

Lambda-calculus, types and models

نویسنده: Jean-Louis Krivine, Rene Corvi (translator)

ناشر: revised, 2011

سال انتشار: 2011

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

زبان: English

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

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