Search the dblp DataBase

Publications of Author

1. Michele Pagani
   Acyclicity and Coherence in Multiplicative Exponential Linear Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:531-545 [Conf]
   
2. Damiano Mazza, Michele Pagani
   The Separation Theorem for Differential Interaction Nets. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:393-407 [Conf]
   
3. Michele Pagani
   Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:2, pp:341-359 [Journal]
   
4. 
   Parallel Reduction in Resource Lambda-Calculus. [Citation Graph (, )][DBLP]
   
   
5. 
   Solvability in Resource Lambda-Calculus. [Citation Graph (, )][DBLP]
   
   
6. 
   The Inverse Taylor Expansion Problem in Linear Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   The Cut-Elimination Theorem for Differential Nets with Promotion. [Citation Graph (, )][DBLP]