Projecting games on hypercoherences

polarized bordered games

Conférence ICALP 2004

We compare two interpretations of programming languages : game
semantics (a dynamic semantics dealing with computational traces) and
hypercoherences (a static semantics dealing with results of
computation). We consider polarized bordered games which are Laurent’s
polarized games endowed with a notion of terminated computation (the
border) allowing for a projection on hypercoherences. The main result
is that the projection commutes to the interpretation of linear terms
(exponential-free proofs of polarized linear logic). We discuss the
extension to general terms.

Documents joints

  • pgh.pdf (PDF – 168.1 ko)

    version préliminaire

Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]