 |
|
|
|
| HAL : hal-00339154, version 2 |
| DOI : 10.1016/j.apal.2009.07.018 |
| Fiche détaillée |  Récupérer au format |
|
|
| Annals of Pure Applied Logic 161, 5 (2010) 632-653 |
|
|
| Versions disponibles : | v1 (17-11-2008) | v2 (17-06-2009) |
|
|
|
|
| Resource modalities in tensor logic |
|
|
| paul-andré melliès 1Nicolas Tabareau 1 |
|
|
| (05/02/2010) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| PPS |
|
|
|
|
| Domaine | : | Mathématiques/Catégories et ensembles Informatique/Logique en informatique |
|
|
| Game semantics – linear logic – resources – continuation monads – categorical models |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00339154, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00339154 | |
| oai:hal.archives-ouvertes.fr:hal-00339154 | |
| Contributeur : Nicolas Tabareau | |
| Soumis le : Mercredi 17 Juin 2009, 11:48:34 | |
| Dernière modification le : Mercredi 8 Décembre 2010, 14:33:18 | |
