Article Dans Une Revue Theoretical Computer Science Année : 2007

The differential lambda-mu-calculus

Résumé

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

Fichier principal
Vignette du fichier
dlmc.pdf (411.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00349304 , version 1 (28-12-2008)

Licence

Identifiants

Citer

Lionel Vaux. The differential lambda-mu-calculus. Theoretical Computer Science, 2007, 379 (1-2), pp.166-209. ⟨10.1016/j.tcs.2007.02.028⟩. ⟨hal-00349304⟩
287 Consultations
3308 Téléchargements

Altmetric

Partager

  • More