Searching for authors named "Damiano Mazza" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A denotational semantics for the symmetric interaction combinators
- …A Denotational Semantics for the Symmetric Interaction Combinators Damiano Mazza April 25, 2006…
- Cited by 1 (1 self) – Add To MetaCart
-
Observational equivalence for the interaction combinators and internal separation
- … Abstract Damiano Mazza 1 Institut de Mathématiques de Luminy (UMR 6206) Campus de Luminy, Case 907, 13288…
- Cited by 3 (2 self) – Add To MetaCart
-
The separation theorem for differential interaction nets. volume 4790 of LNAI
- …The Separation Theorem for Differential Interaction Nets Damiano Mazza 1,⋆ and Michele Pagani 2…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 3.
