نقدم لكم ملف PDF كامل بعنوان Irrelevance Polymorphism and Erasure in Type Theory رسالة دكتوراه وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).