Searching for "Differential interaction nets." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
On Differential Interaction Nets and the Pi-calculus
- …On Differential Interaction Nets and the Pi-Calculus Thomas Ehrhard and Olivier Laurent Preuves…
- Cited by 1 (0 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
-
Embedding the finitary pi-calculus in differential interaction nets
- …Embedding the Finitary Pi-Calculus in Differential Interaction Nets Thomas Ehrhard and Olivier…
- Cited by 2 (1 self) – Add To MetaCart
-
Convolution ¯ λµ-calculus
- … of some new semantical constructions, extending models of Ehrhard-Regnier’s differential interaction nets…
- Cited by 2 (2 self) – Add To MetaCart
-
Differential Linear Logic and Polarization
- … Logic. Differential interaction nets (DIN) were introduced by Ehrhard and Regnier in [1] to provide a…
- Add To MetaCart
Showing 1 through 5.
