Works matching IS 00015903 AND DT 2002 AND VI 38 AND IP 6

Results: 2

    • Object type constructors.

      Published in:
      Acta Informatica, 2002, v. 38, n. 6, p. 367, doi. 10.1007/s002360100076
      By:
      • Duggan, Dominic
      Publication type:
      Article

    • Words, univalent factors, and boxes.

      Published in:
      Acta Informatica, 2002, v. 38, n. 6, p. 409, doi. 10.1007/s002360100079
      By:
      • Carpi, Arturo;
      • de Luca, Aldo;
      • Varricchio, Stefano
      Publication type:
      Article