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

Results: 6
    1

    Monad compositions II: Kleisli strength.

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 3, p. 613, doi. 10.1017/S0960129508006695
    By:
    • ERNIE MANES;
    • PHILIP MULRY
    Publication type:
    Article
    2
    3

    Computation with classical sequents.

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 3, p. 555, doi. 10.1017/S0960129508006762
    By:
    • STEFFEN VAN BAKEL;
    • PIERRE LESCANNE
    Publication type:
    Article
    4

    iRho: an imperative rewriting calculus.

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 3, p. 467, doi. 10.1017/S0960129508006750
    By:
    • LUIGI LIQUORI;
    • BERNARD PAUL SERPETTE
    Publication type:
    Article
    5
    6