Damiano Mazza

	2009
8		Damiano Mazza: Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators CoRR abs/0906.0380: (2009)
	2008
7		Patrick Baillot, Damiano Mazza: Linear Logic by Levels and Bounded Time Complexity CoRR abs/0801.1253: (2008)
	2007
6		Damiano Mazza, Michele Pagani: The Separation Theorem for Differential Interaction Nets. LPAR 2007: 393-407
5		Damiano Mazza: Edifices and Full Abstraction for the Symmetric Interaction Combinators. TLCA 2007: 305-320
4		Damiano Mazza: Observational Equivalence for the Interaction Combinators and Internal Separation. Electr. Notes Theor. Comput. Sci. 176(1): 113-137 (2007)
3		Damiano Mazza: A denotational semantics for the symmetric interaction combinators. Mathematical Structures in Computer Science 17(3): 527-562 (2007)
	2006
2		Damiano Mazza: Linear logic and polynomial time. Mathematical Structures in Computer Science 16(6): 947-988 (2006)
	2005
1		Damiano Mazza: Multiport Interaction Nets and Concurrency. CONCUR 2005: 21-35

Coauthor Index

1	Patrick Baillot	[7]
2	Michele Pagani	[6]

Colors in the list of coauthors