Works matching IS 09601295 AND DT 1995 AND VI 5 AND IP 1

Results: 7
    1

    Efficient recursive subtyping.

    Published in:
    Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 113, doi. 10.1017/S0960129500000657
    By:
    • Kozen, Dexter;
    • Palsberg, Jens;
    • Schwartzbach, Michael I.
    Publication type:
    Article
    2
    3
    4
    5

    A remark on the theory of semi-functors.

    Published in:
    Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 1, doi. 10.1017/S096012950000061X
    By:
    • Hoofman, R.;
    • Moerdijk, I.
    Publication type:
    Article
    6
    7