Skip to Main content Skip to Navigation
Journal articles

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.
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download
Contributor : Nicolas Tabareau Connect in order to contact the contributor
Submitted on : Wednesday, June 17, 2009 - 11:48:34 AM
Last modification on : Thursday, January 7, 2021 - 11:40:03 PM
Long-term archiving on: : Saturday, November 26, 2016 - 9:36:11 AM


Files produced by the author(s)




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



Record views


Files downloads