Hypercoherences: A Strongly Stable Model of Linear Logic

Thomas Ehrhard. Hypercoherences: A Strongly Stable Model of Linear Logic. Mathematical Structures in Computer Science, 3(4):365-385, 1993.

Abstract

Abstract is missing.