Works matching IS 09601295 AND DT 1992 AND VI 2 AND IP 2

Results: 8
    1

    Provable isomorphisms of types.

    Published in:
    Mathematical Structures in Computer Science, 1992, v. 2, n. 2, p. 231, doi. 10.1017/S0960129500001444
    By:
    • Bruce, Kim B.;
    • Di Cosmo, Roberto;
    • Longo, Giuseppe
    Publication type:
    Article
    2
    3
    4
    5

    Functions as processes.

    Published in:
    Mathematical Structures in Computer Science, 1992, v. 2, n. 2, p. 119, doi. 10.1017/S0960129500001407
    By:
    • Milner, Robin
    Publication type:
    Article
    6

    Engeler's scientific work.

    Published in:
    Mathematical Structures in Computer Science, 1992, v. 2, n. 2, p. 111, doi. 10.1017/S0960129500001390
    By:
    • Specker, E.
    Publication type:
    Article
    7

    Preface.

    Published in:
    Mathematical Structures in Computer Science, 1992, v. 2, n. 2, p. 109, doi. 10.1017/S0960129500001389
    By:
    • Jäger, Gerhard;
    • Läuchli, Hans
    Publication type:
    Article
    8

    MSC volume 2 issue 2 Front matter.

    Published in:
    Mathematical Structures in Computer Science, 1992, v. 2, n. 2, p. f1, doi. 10.1017/S0960129500001377
    Publication type:
    Article