خرید و دانلود نسخه کامل کتاب Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب  این کتاب مجموعه مقالات پس از کارگاه کاملاً اصلاح شده اولین کارگاه سالانه است که تحت نظارت گروه کاری ESPRIT 21900 TYPES در آسوا، فرانسه در دسامبر 1996 برگزار شد. 18 مقاله کامل اصلاح شده ارائه شده در کتاب به دقت بررسی و از بین 30 مقاله پذیرفته شده برای ارائه در کارگاه انتخاب شد. تمام جنبه های فعلی تئوری نوع و سیستم های نوع و کاربردهای آنها برای تأیید برنامه و اثبات قضیه پرداخته شده است. سیستم‌های اثبات و اثبات‌کننده‌های قضیه شامل Coq، LEGO، و Isabelle/HOL هستند.