Coherent Banach spaces: a continuous den
✍
Jean-Yves Girard
📂
Article
📅
1999
🏛
Elsevier Science
🌐
English
⚖ 171 KB
We present a denotational semantics based on Banach spaces; it is inspired from the familiar coherent semantics of linear logic, the role of coherence being played by the norm: coherence is rendered by a supremum, whereas incoherence is rendered by a sum, and cliques are rendered by vectors of norm