De l'oprateur de trace dans les jeux de Conway

Simple item page
dc.creatorTabareau, Nicolas
dc.date2006-07-19
dc.date.accessioned2026-07-07T07:20:42Z
dc.date.available2026-07-07T07:20:42Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/math/0607462
dc.identifierhttp://arxiv.org/abs/math/0607462
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/115039
dc.subjectCategory Theory
dc.subjectProgramming Languages
dc.titleDe l'oprateur de trace dans les jeux de Conway
dc.typetext

Files

Collections

arXiv