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