Hypercoherences: A Strongly Stable Model of Linear Logic

  title={Hypercoherences: A Strongly Stable Model of Linear Logic},
  author={Thomas Ehrhard},
  journal={Mathematical Structures in Computer Science},
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