Differential Interaction Nets

Thomas Ehrhard, Laurent Regnier
2005 Electronical Notes in Theoretical Computer Science  
We introduce interaction nets for the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, completely similar to the symmetry between the tensor and par connectives of linear logic.
doi:10.1016/j.entcs.2004.06.060 fatcat:4yune6fqcvfnld5siq5zy6wczq