Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Damiano MAZZA


Année
Publications
Files
2007 Mazza Damiano.
A denotational semantics for the symmetric interaction combinators.
Math. Structures Comput. Sci. 17, no. 3, 527--562, 2007.
pdf
  Mazza Damiano.
Observational equivalence for the interaction combinators and internal separation.
Electronic Notes in Theoretical Computer Science, 176(1):113--137, 2007.
pdf
2006

Mazza Damiano.
Linear logic and polynomial time.
Math. Structures Comput. Sci. 16, no. 6, 947--988, 2006.

pdf
2005

Mazza Damiano.
Multiport interaction nets and concurrency (extended abstract).
CONCUR 2005---concurrency theory, 21--35, Lecture Notes in Comput. Sci., 3653, Springer, Berlin, 2005.

pdf

 

 

 

 

 



Last update : december 17, 2007, EL.