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

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

Lambda-calculus: types and models

نویسنده: Jean-Louis Krivine, translated by René Cori

ناشر: Ellis Horwood (1993) (mise à jour 3 novembre 2011), version 29 Sep 2014, 2014

سال انتشار: 2014

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

زبان: English

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

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