Resource modalities in tensor logic

Abstract : 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.
Document type :
Journal articles
Annals of Pure Applied Logic, 2010, 161 (5), pp.632-653. 〈10.1016/j.apal.2009.07.018〉
Liste complète des métadonnées

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00339154
Contributor : Nicolas Tabareau <>
Submitted on : Wednesday, June 17, 2009 - 11:48:34 AM
Last modification on : Tuesday, October 11, 2016 - 1:58:11 PM
Document(s) archivé(s) le : Saturday, November 26, 2016 - 9:36:11 AM

File

resource-modalities-apal.pdf
Files produced by the author(s)

Identifiers

Collections

INSMI | PPS | USPC

Citation

Paul-André Melliès, Nicolas Tabareau. Resource modalities in tensor logic. Annals of Pure Applied Logic, 2010, 161 (5), pp.632-653. 〈10.1016/j.apal.2009.07.018〉. 〈hal-00339154v2〉

Share

Metrics

Record views

291

Files downloads

178