Pre-Adjunctions in order enriched categories

C. E. Martin, C. A.R. Hoare, He Jifeng

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Original language	English
Pages (from-to)	141-158
Number of pages	18
Journal	Mathematical Structures in Computer Science
Volume	1
Issue number	2
DOIs	https://doi.org/10.1017/S0960129500001262
State	Published - Jul 1991
Externally published	Yes

Access to Document

@article{3ba24db79941415ca14435dadc95db77,

title = "Pre-Adjunctions in order enriched categories",

author = "Martin, \{C. E.\} and Hoare, \{C. A.R.\} and He Jifeng",

year = "1991",

month = jul,

doi = "10.1017/S0960129500001262",

language = "英语",

volume = "1",

pages = "141--158",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - Pre-Adjunctions in order enriched categories

AU - Martin, C. E.

AU - Hoare, C. A.R.

AU - Jifeng, He

PY - 1991/7

Y1 - 1991/7

UR - https://www.scopus.com/pages/publications/84976128004

U2 - 10.1017/S0960129500001262

DO - 10.1017/S0960129500001262

M3 - 文章

AN - SCOPUS:84976128004

SN - 0960-1295

VL - 1

SP - 141

EP - 158

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 2

ER -