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.