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


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

258

Document downloads

149