HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# 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 :
Document type :
Reports
Domain :

Cited literature [11 references]

https://hal.inria.fr/inria-00074243
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:50:52 PM
Last modification on : Friday, February 4, 2022 - 3:17:30 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:07:00 AM

### Identifiers

• 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⟩

Record views