Computational Interpretations of Linear Logic

@article{Abramsky1993ComputationalIO,
  title={Computational Interpretations of Linear Logic},
  author={Samson Abramsky},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={111},
  pages={3-57}
}
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

References

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

occam 2 Reference Manual

  • LTD INMOS
  • Prentice Hall
  • 1988

Universal Algebra

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

Similar Papers

Loading similar papers…