Lorenzo Tortora de Falco. Obsessional experiments for linear logic proof-nets. Mathematical Structures in Computer Science, 13, Issue 1:799-855, 2003.

We address the question of injectivity of coherent semantics of linear logic proof-nets. Starting from the definition of experiment given by Girard, we introduce the key-notion of ``injective obsessional experiment'', which allows to give a positive answer to our question for certain fragments of linear logic, and to build counter-examples to the injectivity of coherent semantics in the general case.

[ bib | .html ]

Back