Guarded induction on final coalgebras

التفاصيل البيبلوغرافية
المؤلف الرئيسي: ́Pavlovic, D
التنسيق: Journal article
منشور في: 1998