coherence space

The notion of *coherence space* (sometimes “coherent space”) is used for the semantics of linear logic in proof theory. They form a star-autonomous category.

Coherence spaces can be defined as arity spaces for the “subunary” class of arities $\{0,1\}$.

- Wikipedia,
*Coherent space*

Last revised on August 4, 2019 at 01:16:03. See the history of this page for a list of all contributions to it.