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. 
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS