Computational Interpretations of Linear Logic (1993)
Cached
Download Links
- [web.comlab.ox.ac.uk]
- [www.cs.brandeis.edu]
- DBLP
Other Repositories/Bibliography
by
Samson Abramsky
| Venue: | Theoretical Computer Science |
| Citations: | 272 - 3 self |
BibTeX
@ARTICLE{Abramsky93computationalinterpretations,
author = {Samson Abramsky},
title = {Computational Interpretations of Linear Logic},
journal = {Theoretical Computer Science},
year = {1993},
volume = {111},
pages = {3--57}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 refinement of the lambda calculus, giving finer control over order of evaluation and storage allocation, while maintaining the logical content of programs as proofs, and computation as cut-elimination.
