Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 6

Results: 7
    1
    2
    3
    4
    5
    6

    Deriving session and union types for objects.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 6, p. 1163, doi. 10.1017/S0960129512000886
    By:
    • BETTINI, LORENZO;
    • CAPECCHI, SARA;
    • DEZANI-CIANCAGLINI, MARIANGIOLA;
    • GIACHINO, ELENA;
    • VENNERI, BETTI
    Publication type:
    Article
    7

    Monadic translation of classical sequent calculus.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 6, p. 1111, doi. 10.1017/S0960129512000436
    By:
    • ESPÍRITO SANTO, JOSÉ;
    • MATTHES, RALPH;
    • NAKAZAWA, KOJI;
    • PINTO, LUÍS
    Publication type:
    Article