A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences

Christian Retoré 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In his paper ``A new constructive logic: classical logic'' Jean-Yves Girard brought up the question of a self-dual modality. This note provides a semantical solution with respect to the self-dual connective \tt before in the category of coherence spaces, and in the category of hypercoherences.
Type de document :
Rapport
RR-2432, INRIA. 1994
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00074243
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:50:52
Dernière modification le : samedi 17 septembre 2016 - 01:35:20
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:07:00

Fichiers

Identifiants

  • HAL Id : inria-00074243, version 1

Collections

Citation

Christian Retoré. A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences. RR-2432, INRIA. 1994. 〈inria-00074243〉

Partager

Métriques

Consultations de la notice

88

Téléchargements de fichiers

143