Works matching IS 09601295 AND DT 2009 AND VI 19 AND IP 4

Results: 5
    1

    A type system for Discretionary Access Control.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 4, p. 839, doi. 10.1017/S0960129509007762
    By:
    • BUGLIESI, MICHELE;
    • COLAZZO, DARIO;
    • CRAFA, SILVIA;
    • MACEDONIO, DAMIANO
    Publication type:
    Article
    2
    3
    4

    Two-dimensional models of type theory.

    Published in:
    Mathematical Structures in Computer Science, 2009, v. 19, n. 4, p. 687, doi. 10.1017/S0960129509007646
    By:
    • GARNER, RICHARD
    Publication type:
    Article
    5