Works matching IS 09601295 AND DT 1991 AND VI 1 AND IP 1

Results: 7
    1
    2

    From Petri nets to linear logic.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 1, p. 69, doi. 10.1017/S0960129500000062
    By:
    • Martí-Oliet, Narciso;
    • Meseguer, José
    Publication type:
    Article
    3

    A categorical manifesto.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 1, p. 49, doi. 10.1017/S0960129500000050
    By:
    • Goguen, Joseph A.
    Publication type:
    Article
    4

    Operations on records.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 1, p. 3, doi. 10.1017/S0960129500000049
    By:
    • Cardelli, Luca;
    • Mitchell, John C.
    Publication type:
    Article
    5

    Preface.

    Published in:
    Mathematical Structures in Computer Science, 1991, v. 1, n. 1, p. 1, doi. 10.1017/S0960129500000037
    By:
    • Abramsky, S.;
    • Curien, P.-L.;
    • Pitts, A.;
    • Wagner, E. G.
    Publication type:
    Article
    6
    7