Differential linear logic and polarization - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Differential linear logic and polarization

Lionel Vaux

Résumé

We extend Ehrhard-Regnier's differential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both differential and polarized linear logics: this justifies our choice of cut elimination rules. Then we show this polarized differential linear logic refines the recently introduced convolution lambda-mu-calculus, the same as linear logic decomposes lambda-calculus. ̄
Fichier principal
Vignette du fichier
poldiff.pdf (408.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00387062 , version 1 (22-05-2009)

Identifiants

  • HAL Id : hal-00387062 , version 1

Citer

Lionel Vaux. Differential linear logic and polarization. Ninth International Conference on Typed Lambda Calculi and Applications, Jul 2009, Brasília, Brazil. pp.371-385. ⟨hal-00387062⟩
143 Consultations
94 Téléchargements

Partager

Gmail Facebook X LinkedIn More