| |
| 2004 | ||
|---|---|---|
| 3 | EE | Emmanuel Polonovski: Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. FoSSaCS 2004: 423-437 |
| 2003 | ||
| 2 | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski: Proof Nets And Explicit Substitutions. Mathematical Structures in Computer Science 13(3): 409-450 (2003) | |
| 2000 | ||
| 1 | EE | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonovski: Proof Nets and Explicit Substitutions. FoSSaCS 2000: 63-81 |
| 1 | Roberto Di Cosmo | [1] [2] |
| 2 | Delia Kesner | [1] [2] |