De l'opérateur de trace dans les jeux de Conway
type: Dataset
contact point: Organization
  fn: CCSD
keyword: mathmath-ctmathematics-mathcategory-theory-mathct
keyword: category-theory
keyword: trace-operator
keyword: references
keyword: game-semantic
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: infoeu-reposemanticspreprint
keyword: preprints-working-papers-
landing page: https://hal.science/hal-00086635
description: 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.
issued: 2026-05-09T14:32:53.379146
language: fr
modified: 2026-05-09T14:32:53.379150

test_moissonnage_selune
type: Agent

De l'opérateur de trace dans les jeux de Conway
type: Distribution
access URL: https://hal.science/hal-00086635
format: HTML
issued: 2026-05-09T14:32:53.380333
modified: 2026-05-09T14:32:53.370690