Searching for "Differential interaction nets." – sorted by Relevance.
-
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

