Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 3

Results: 3
    1
    2

    Proof nets and explicit substitutions Using various translations of the $\l$-calculus into proof nets, new abstract machines have been proposed that exploit the Geometry of Interaction and Dynamic Algebras (Girard 1989; Abramsky and Jagadeesan 1992; Danos 1990), leading to work on optimal reduction (Gonthier et al. 1992; Lamping 1990).

    Published in:
    Mathematical Structures in Computer Science, 2003, v. 13, n. 3, p. 409, doi. 10.1017/s0960129502003791
    By:
    • ROBERTO DI COSMO;
    • DELIA KESNER;
    • EMMANUEL POLONOVSKI
    Publication type:
    Article
    3

    Equational properties of mobile ambients.

    Published in:
    Mathematical Structures in Computer Science, 2003, v. 13, n. 3, p. 371, doi. 10.1017/s0960129502003742
    By:
    • ANDREW D. GORDON;
    • LUCA CARDELLI
    Publication type:
    Article