Coherent space
In proof theory, a coherent space (also coherence space) is a concept introduced in the semantic study of linear logic. In Proofs and Types, coherent spaces are called coherence spaces.
In proof theory, a coherent space (also coherence space) is a concept introduced in the semantic study of linear logic. In Proofs and Types, coherent spaces are called coherence spaces.
In proof theory, a coherent space (also coherence space) is a concept introduced in the semantic study of linear logic. In Proofs and Types, coherent spaces are called coherence spaces.
Source: Wikipedia "Coherent space" · CC BY-SA 4.0
Share this article: X · Bluesky