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