The differential lambda-mu-calculus - Archive ouverte HAL Accéder directement au contenu
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)
Loading...

Dates et versions

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

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⟩
169 Consultations
689 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More