Pre−Adjunctions in Order Enriched Categories

Dettagli Bibliografici
Autori principali: Martin, C, Hoare, C, He, J
Natura: Journal article
Pubblicazione: 1991

Documenti analoghi