Generic Programs and Proofs

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Hinze, R
التنسيق: أطروحة
منشور في: 2000