Computational interpretations of linear logic
- 12 April 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 111 (1-2) , 3-57
- https://doi.org/10.1016/0304-3975(93)90181-r
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Types in lambda calculi and programming languagesLecture Notes in Computer Science, 1990
- A typed calculus based on a fragment of linear logicTheoretical Computer Science, 1989
- The linear abstract machineTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964