Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 1

Results: 4
    1

    Full abstraction, totality and PCF.

    Published in:
    Mathematical Structures in Computer Science, 1999, v. 9, n. 1, p. 1, doi. 10.1017/s0960129598002692
    By:
    • PLOTKIN, GORDON
    Publication type:
    Article
    2

    Collections, sets and types.

    Published in:
    Mathematical Structures in Computer Science, 1999, v. 9, n. 1, p. 109, doi. 10.1017/s0960129598002680
    By:
    • DOWEK, GILLES
    Publication type:
    Article
    3

    Abstract and behaviour module specifications.

    Published in:
    Mathematical Structures in Computer Science, 1999, v. 9, n. 1, p. 21, doi. 10.1017/s0960129598002606
    By:
    • CORNELIUS, FELIX;
    • BALDAMUS, MICHAEL;
    • EHRIG, HARTMUT;
    • OREJAS, FERNANDO
    Publication type:
    Article
    4