| |
| 2007 | ||
|---|---|---|
| 3 | EE | Damiano Mazza, Michele Pagani: The Separation Theorem for Differential Interaction Nets. LPAR 2007: 393-407 |
| 2 | EE | Michele Pagani: Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. Mathematical Structures in Computer Science 17(2): 341-359 (2007) |
| 2006 | ||
| 1 | EE | Michele Pagani: Acyclicity and Coherence in Multiplicative Exponential Linear Logic. CSL 2006: 531-545 |
| 1 | Damiano Mazza | [3] |