Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00074243
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:50:52 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Long-term archiving on: : Monday, April 5, 2010 - 12:07:00 AM

Identifiers

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

Share

Metrics

Record views

183

Files downloads

251