Pre−Adjunctions in Order Enriched Categories
C. E. Martin‚ C. A. R. Hoare and Jifeng He
Journal
Mathematical Structures in Computer Science
Number
2
Pages
141−158
Volume
1
Year
1991
C. E. Martin‚ C. A. R. Hoare and Jifeng He