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) در سال 1993. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است. «Lambda-calculus: types and models» در دستهٔ بدون دسته‌بندی قرار دارد.