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

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.
Keywords :
Type de document :
Rapport
RR-2432, INRIA. 1994
Domaine :
Liste complète des métadonnées

Littérature citée [11 références]

https://hal.inria.fr/inria-00074243
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:50:52
Dernière modification le : jeudi 8 novembre 2018 - 11:48:02
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:07:00

### Identifiants

• HAL Id : inria-00074243, version 1

### 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〉

### Métriques

Consultations de la notice

## 103

Téléchargements de fichiers