Resource modalities in game semantics

Details Resource modalities in game semantics Resource modalities in game semantics

2007-05-03

arxiv.org/abs/0705.0462v1

Mathematics

Category Theory

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Resource modalities in game semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Resource modalities in game semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resource modalities in game semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-497154