نقدم لكم ملف PDF كامل بعنوان
The Nax Language Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types رسالة ماجستير
وهو ضمن التصنيف الرئيسي
تكنولوجيا المعلومات
والذي يقع تحت التصنيف الفرعي
علم الحاسوب
يجدر الذكر أن الملف يقع تحت قسم
رسائل الماجستير والدكتوراه (ملفات PDF).