Hypercoherences: a strongly stable model of linear logic
MSCS - Mathematical Structures in Computer Science, 2:365--385,
Slightly changed version
Available as PostScript,
We present a model of classical linear logic based on the notion of
strong stability that was introduced in [BE], a work about sequentiality
written jointly with Antonio Bucciarelli.
Bucciarelli, T. Ehrhard. Sequentiality and strong stability. Proc. LICS
Authors address: Laboratoire
de Math'ematiques Discrètes, UPR 9016 du CNRS, 163 avenue de Luminy,
case 930, F 13288 MARSEILLE CEDEX 9. email@example.com.
BRICS WWW home page