Resource modalities in game semantics

Simple item page
dc.creatorMelliès, Paul-André
dc.creatorTabareau, Nicolas
dc.date2007-05-03
dc.date.accessioned2026-07-07T07:59:18Z
dc.date.available2026-07-07T07:59:18Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/0705.0462
dc.identifierhttp://arxiv.org/abs/0705.0462
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/128320
dc.subjectCategory Theory
dc.subjectComputation and Language
dc.titleResource modalities in game semantics
dc.typetext

Files

Collections

arXiv