Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 1

Results: 5
    1
    2
    3

    Inclusions for partiality.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 1, p. 46, doi. 10.1017/S0960129514000036
    By:
    • HILBERDINK, HENDRIK
    Publication type:
    Article
    4

    Kan injectivity in order-enriched categories.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 1, p. 6, doi. 10.1017/S0960129514000024
    By:
    • ADÁMEK, JIŘÍ;
    • SOUSA, LURDES;
    • VELEBIL, JIŘÍ
    Publication type:
    Article
    5