Works matching IS 09601295 AND DT 1997 AND VI 7 AND IP 2

Results: 2

  • Weak inclusion systems.

    Published in:
    Mathematical Structures in Computer Science, 1997, v. 7, n. 2, p. 195
    By:
    • CAÇZAÇNESCU, VIRGIL EMIL;
    • RO^U, GRIGORE
    Publication type:
    Article

  • Intersection types and bounded polymorphism.

    Published in:
    Mathematical Structures in Computer Science, 1997, v. 7, n. 2, p. 129, doi. 10.1017/s096012959600223x
    By:
    • PIERCE, BENJAMIN C.
    Publication type:
    Article