- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c5 |      | Damiano Mazza, Neil J. Ross: Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. FoSSaCS 2012: 316-330 |
| c4 | | Damiano Mazza: An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus. LICS 2012: 471-480 |
| i3 | | Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco: An Abstract Approach to Stratification in Linear Logic. CoRR abs/1206.6504 (2012) |
| i2 | | Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca: Computational Complexity of Interactive Behaviors. CoRR abs/1209.0663 (2012) |
| 2010 | ||
| j5 | | Patrick Baillot, Damiano Mazza: Linear logic by levels and bounded time complexity. Theor. Comput. Sci. 411(2): 470-503 (2010) |
| 2009 | ||
| j4 | | Damiano Mazza: Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators. Logical Methods in Computer Science 5(4) (2009) |
| 2008 | ||
| i1 | | Patrick Baillot, Damiano Mazza: Linear Logic by Levels and Bounded Time Complexity. CoRR abs/0801.1253 (2008) |
| 2007 | ||
| j3 | | Damiano Mazza: Observational Equivalence for the Interaction Combinators and Internal Separation. Electr. Notes Theor. Comput. Sci. 176(1): 113-137 (2007) |
| j2 | | Damiano Mazza: A denotational semantics for the symmetric interaction combinators. Mathematical Structures in Computer Science 17(3): 527-562 (2007) |
| c3 | | Damiano Mazza, Michele Pagani: The Separation Theorem for Differential Interaction Nets. LPAR 2007: 393-407 |
| c2 | | Damiano Mazza: Edifices and Full Abstraction for the Symmetric Interaction Combinators. TLCA 2007: 305-320 |
| 2006 | ||
| j1 | | Damiano Mazza: Linear logic and polynomial time. Mathematical Structures in Computer Science 16(6): 947-988 (2006) |
| 2005 | ||
| c1 | | |
| 1 | Patrick Baillot | |
| 2 | Pierre Boudes | |
| 3 | Lorenzo Tortora de Falco | |
| 4 | Tobias Heindel | |
| 5 | Ugo Dal Lago | |
| 6 | Michele Pagani | |
| 7 | Neil J. Ross | |
| 8 | Daniele Varacca |
Colors in the list of coauthors
Last update Fri May 24 19:48:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page