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