Theoretical Computer Science
A Dialectica-like Model of Linear Logic
Category Theory and Computer Science
Modified Realizability Interpretation of Classical Linear Logic
LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Computational interpretations of classical linear logic
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Hi-index | 0.00 |
We present three functional interpretations of intuitionistic linear logic and show how these correspond to well-known functional interpretations of intuitionistic logic via embeddings of ILω into ILLω. The main difference from previous work of the second author is that in intuitionistic linear logic the interpretations of !A are simpler (at the cost of an asymmetric interpretation of pure ILLω) and simultaneous quantifiers are no longer needed for the characterisation of the interpretations.