Works matching IS 09601295 AND DT 2012 AND VI 22 AND IP 4

Results: 8
    1
    2
    3

    A duality between exceptions and states.

    Published in:
    Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 719, doi. 10.1017/S0960129511000752
    By:
    • DUMAS, JEAN-GUILLAUME;
    • DUVAL, DOMINIQUE;
    • FOUSSE, LAURENT;
    • REYNAUD, JEAN-CLAUDE
    Publication type:
    Article
    4
    5
    6

    A quantum double construction in Rel.

    Published in:
    Mathematical Structures in Computer Science, 2012, v. 22, n. 4, p. 618, doi. 10.1017/S0960129511000703
    By:
    • HASEGAWA, MASAHITO
    Publication type:
    Article
    7
    8