 |
|
|
|
| HAL : hal-00144510, version 1 |
| arXiv : 0705.0462 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Resource modalities in game semantics |
|
|
| paul-andré melliès 1Nicolas Tabareau 1 |
|
|
| ANR Invariants algébriques des systèmes informatiques (INVAL) Collaboration(s) |
|
|
| (03/05/2007) |
|
|
|
| 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 an arena game model where the usual notion of bracketing is extended to multi- bracketing in order to capture various resource policies: linear, affine and exponential. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Équipe PPS |
|
|
|
|
| Domaine | : | Mathématiques/Catégories et ensembles Informatique/Informatique et langage |
|
|
| Game semantics – linear logic – resources – continuation monads – categorical models |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00144510, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00144510 | |
| oai:hal.archives-ouvertes.fr:hal-00144510 | |
| Contributeur : Nicolas Tabareau | |
| Soumis le : Jeudi 3 Mai 2007, 15:40:20 | |
| Dernière modification le : Mardi 5 Juin 2007, 12:25:57 | |
