Differential Interaction Nets
Thomas Ehrhard, Laurent Régnier · Electronic Notes in Theoretical Computer Science · 2005
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.