Pre−Adjunctions in Order Enriched Categories

Opis bibliograficzny
Główni autorzy: Martin, C, Hoare, C, He, J
Format: Journal article
Wydane: 1991