Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 2

Results: 6
    1

    Event Identifier Logic.

    Published in:
    Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000510
    By:
    • PHILLIPS, IAIN;
    • ULIDOWSKI, IREK
    Publication type:
    Article
    2
    3
    4
    5

    Higher-order psi-calculi.

    Published in:
    Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000170
    By:
    • PARROW, JOACHIM;
    • BORGSTRÖM, JOHANNES;
    • RAABJERG, PALLE;
    • ÅMAN POHJOLA, JOHANNES
    Publication type:
    Article
    6