Works matching IS 09601295 AND DT 2008 AND VI 18 AND IP 6

Results: 6
    1

    Logical relations for monadic types?

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1169, doi. 10.1017/S0960129508007172
    By:
    • JEAN GOUBAULT-LARRECQ;
    • S?AWOMIR LASOTA;
    • DAVID NOWAK
    Publication type:
    Article
    2
    3

    Bunched polymorphism.

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1091, doi. 10.1017/S0960129508007159
    By:
    • MATTHEW COLLINSON;
    • DAVID PYM;
    • EDMUND ROBINSON
    Publication type:
    Article
    4
    5
    6