Lecture Notes on Algebraic and Coalgebraic Methods for Calculating Functional Programs

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Gibbons, J
التنسيق: Record
منشور في: 1999