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

Results: 2
    1

    Object type constructors.

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

    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