 |
|
|
|
| HAL : hal-00086635, version 1 |
| arXiv : math.CT/0607462 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| De l'opérateur de trace dans les jeux de Conway |
|
|
| Nicolas Tabareau 1 |
|
|
| (19/07/2006) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Catégories et ensembles Informatique/Langage de programmation |
|
|
| game semantic – category theory – trace operator – references |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00086635, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00086635 | |
| oai:hal.archives-ouvertes.fr:hal-00086635 | |
| Contributeur : Nicolas Tabareau | |
| Soumis le : Mercredi 19 Juillet 2006, 14:41:44 | |
| Dernière modification le : Mercredi 9 Mai 2007, 09:22:04 | |
