Computational Interpretations of Linear Logic

  title={Computational Interpretations of Linear Logic},
  author={Samson Abramsky},
  journal={Theor. Comput. Sci.},
We study Girard's Linear Logic from the point of view of giving a concrete computational interpretation of the logic, based on the Curry-Howard isomorphism. In the case of Intuitionistic Linear Logic, this leads to a reenement of the lambda calculus, giving ner control over order of evaluation and storage allocation, while maintaining the logical content of programs as proofs, and computation as cut-elimination. In the classical case, it leads to a concurrent process paradigm with an… CONTINUE READING
Highly Influential
This paper has highly influenced 42 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications referenced by this paper.
Showing 1-6 of 6 references

occam 2 Reference Manual

  • Prentice Hall
  • 1988

Universal Algebra

  • P. M. Cohn
  • D. Reidel
  • 1981
1 Excerpt

Similar Papers

Loading similar papers…