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