Institut de Mathématiques de Luminy

Abstract 2005-23

Vaux Lionel.
The differential -calculus.

We define a differential -calculus which is an extension of both Parigot’s -calculus and Ehrhard-Régnier’s differential -calculus. We prove some basic properties of the system: reduction enjoys Church-Rosser and simply typed terms are strongly normalizing.

 


Last update : november 8, 2005, EL.