Non uniform (hyper/multi)coherence spaces - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2007

Non uniform (hyper/multi)coherence spaces

Pierre Boudes
  • Fonction : Auteur
  • PersonId : 834834

Résumé

In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, vertices represent results of computations and the edge relation witnesses the ability of being assembled into a same piece of data or a same (strongly) stable function, at arrow types. In (hyper)coherence semantics, the argument of a (strongly) stable functional is always a (strongly) stable function. As a consequence, comparatively to the relational semantics, where there is no edge relation, some vertices are missing. Recovering these vertices is essential for the purpose of reconstructing proofs/terms from their interpretations. It shall also be useful for the comparison with other semantics, like game semantics. In [BE01], Bucciarelli and Ehrhard introduced a so called non uniform coherence space semantics where no vertex is missing. By constructing the co-free exponential we set a new version of this last semantics, together with non uniform versions of hypercoherences and multicoherences, a new semantics where an edge is a finite multiset. Thanks to the co-free construction, these non uniform semantics are deterministic in the sense that the intersection of a clique and of an anti-clique contains at most one vertex, a result of interaction, and extensionally collapse onto the corresponding uniform semantics.
Fichier principal
Vignette du fichier
mscs-nuh.pdf (381.1 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00091450 , version 1 (06-09-2006)
hal-00091450 , version 2 (13-07-2007)

Identifiants

Citer

Pierre Boudes. Non uniform (hyper/multi)coherence spaces. 2007. ⟨hal-00091450v2⟩
138 Consultations
187 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More