Resource modalities in game semantics (journal version) - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

Resource modalities in game semantics (journal version)

Paul-André Melliès
Nicolas Tabareau

Résumé

The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that game semantics is conceptually more primitive than linear logic. Starting from this revised point of view, we design a categorical model of resources in game semantics, and construct a Conway game model extended with a notion of payoff in order to capture various resource policies: linear, affine, relevant and exponential.
Fichier principal
Vignette du fichier
tensorial_logic.pdf (427.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00339154 , version 1 (17-11-2008)
hal-00339154 , version 2 (17-06-2009)

Identifiants

  • HAL Id : hal-00339154 , version 1

Citer

Paul-André Melliès, Nicolas Tabareau. Resource modalities in game semantics (journal version). 2008. ⟨hal-00339154v1⟩

Collections

PPS
250 Consultations
308 Téléchargements

Partager

Gmail Facebook X LinkedIn More