Pre−Adjunctions in Order Enriched Categories

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Martin, C, Hoare, C, He, J
التنسيق: Journal article
منشور في: 1991