دانلود کتاب Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
by Henk Barendregt
|
عنوان فارسی: انواع برای اثبات و برنامه ها: کارگاه آموزشی بین المللی " انواع 93 نیمیخن هلند, مارس 24 الی 28 سال 1993 مقاله انتخاب شده |