Institut de Mathématiques de Luminy

Abstract 2004-19

Ehrhard Thomas, Regnier Laurent.
Differential interaction nets.

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.


Last update : june 6, 2005, EL.