On denotational completeness
โ
Jean-Yves Girard
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 206 KB
The founding idea of linear logic is the duality between A and A โฅ , with values in โฅ. This idea is at work in the original denotational semantics of linear logic, coherent spaces, but also in the phase semantics of linear logic, where the "bilinear form" which induces the duality is nothing but the