Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mazza, Damiano - Département de Mathématiques, Institut Galilée, Université Paris 13 Nord
Interaction Nets: Semantics and Concurrent Extensions
Universit a degli Studi di Roma Tre Facolt a di Ingegneria
Math. Struct. in Comp. Science (2007), vol. 17, pp. 527562. c 2007 Cambridge University Press A Denotational Semantics for the
Notes on Light Linear Logic Damiano Mazza
Une etude sur la traduction des -termes dans le -calcul
p q r p q r A B B A A B B A
TERMGRAPH 2006 Observational Equivalence for the Interaction
The Separation Theorem for Differential Interaction Nets
TERMGRAPH 2006 Observational Equivalence for the Interaction
EDIFICES AND FULL ABSTRACTION FOR THE SYMMETRIC INTERACTION COMBINATORS
Edifices and Full Abstraction for the Symmetric Interaction Combinators
Linear Logic by Levels and Bounded Time Complexity Patrick Baillota,1
Under consideration for publication in Math. Struct. in Comp. Science Linear Logic & Polynomial Time
Under consideration for publication in Math. Struct. in Comp. Science Measuring the Expressiveness of Rewriting
Notes on Orevkov's Theorem Damiano Mazza
Interaction Nets: Semantics and Concurrent Extensions
Interaction Nets: Semantics and Concurrent Extensions
Interaction Nets: Semantics and Concurrent Extensions
Interaction Nets: Semantics and Concurrent Extensions
Interaction Nets: Semantics and Concurrent Extensions
Interaction Nets: Semantics and Concurrent Extensions
Multiport Interaction Nets and Concurrency (Extended Abstract)
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators
