A self-dual modality for "before" in the category of coherence spaces and in the category of hypercoherences
Christian Retoré · OpenGrey (Institut de l'Information Scientifique et Technique) · 1994
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.