Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 1

Results: 4
    1

    A construction of free dcpo-cones.

    Published in:
    Mathematical Structures in Computer Science, 2024, v. 34, n. 1, p. 63, doi. 10.1017/S0960129523000427
    By:
    • Chen, Yuxu;
    • Kou, Hui;
    • Lyu, Zhenchao;
    • Xie, Xiaolin
    Publication type:
    Article
    2

    The order- K -ification monads.

    Published in:
    Mathematical Structures in Computer Science, 2024, v. 34, n. 1, p. 45, doi. 10.1017/S0960129523000403
    By:
    • Hou, Huijun;
    • Miao, Hualin;
    • Li, Qingguo
    Publication type:
    Article
    3
    4

    Two-level type theory and applications - ERRATUM.

    Published in:
    Mathematical Structures in Computer Science, 2024, v. 34, n. 1, p. 80, doi. 10.1017/S096012952300021X
    By:
    • Annenkov, Danil;
    • Capriotti, Paolo;
    • Kraus, Nicolai;
    • Sattler, Christian
    Publication type:
    Article