دانلود کتاب Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
by Peter Aczel
|
عنوان فارسی: انواع برای اثبات و برنامه: کارگاه آموزشی بین المللی، انواع 2،000 مقالات دورهام بریتانیا، دسامبر 8-12، 2000 انتخاب شده |