De l'oprateur de trace dans les jeux de Conway

Details De l'oprateur de trace dans les jeux de Conway De l'oprateur de trace dans les jeux de Conway

2006-07-19

arxiv.org/abs/math/0607462v1

Mathematics

Category Theory

Scientific paper

In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of an Algol-like language with higher-order using the presence of a trace operator in our model to describe the memorial aspect of the language.

Affiliated with

Also associated with

No associations

Rating

De l'oprateur de trace dans les jeux de Conway 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 De l'oprateur de trace dans les jeux de Conway, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and De l'oprateur de trace dans les jeux de Conway will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-625832