dblp.uni-trier.dewww.uni-trier.de

Damiano Mazza

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)