Theoretical Computer Science
Proof-nets and the Hilbert space
Proceedings of the workshop on Advances in linear logic
Information and Computation
Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the Additives
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Additives of linear logic and normalization: part I: A (restricted) Church--Rosser property
Theoretical Computer Science - Linear logic
Linear logic and elementary time
Information and Computation - Special issue: ICC '99
A semantic characterisation of the correctness of a proof net
Mathematical Structures in Computer Science
Normalization by evaluation with typed abstract syntax
Journal of Functional Programming
Syntax vs. semantics: a polarized approach
Theoretical Computer Science - Game theory meets theoretical computer science
The separation theorem for differential interaction nets
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A semantic measure of the execution time in linear logic
Theoretical Computer Science
| Hi-index | 0.00 |
We address the question of injectivity of coherent semantics of linear logic proof-nets. Starting from Girard's definition of experiment, we introduce the key-notion of ‘injective obsessional experiment’, which allows us 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.