## 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

*This file has been generated by
bibtex2html 1.60*
>>> BackToHomePage(Protocollo) <<<