Works matching IS 09601295 AND DT 1991 AND VI 1 AND IP 2

Results: 5
    1
    2

    Temporal Structures.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 2, p. 179, doi. 10.1017/S0960129500001286
    By:
    • Casley, Ross;
    • Crew, Roger F.;
    • Meseguer, José;
    • Pratt, Vaughan
    Publication type:
    Article
    3
    4

    Pre-adjunctions in order enriched categories.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 2, p. 141, doi. 10.1017/S0960129500001262
    By:
    • Martin, C. E.;
    • Hoare, C. A. R.;
    • Jifeng, He
    Publication type:
    Article
    5