Hypercoherences: A Strongly Stable Model of Linear Logic

@article{Ehrhard1993HypercoherencesAS,
title={Hypercoherences: A Strongly Stable Model of Linear Logic},
author={Thomas Ehrhard},
journal={Mathematical Structures in Computer Science},
year={1993},
volume={3},
pages={365-385}
}

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.