The linear abstract machine
- 1 July 1988
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 59 (1-2) , 157-180
- https://doi.org/10.1016/0304-3975(88)90100-4
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Categorical combinatory logicPublished by Springer Nature ,2005
- Linear logic and lazy computationPublished by Springer Nature ,2005
- Categorical Combinators, Sequential Algorithms, and Functional ProgrammingPublished by Springer Nature ,1993
- Linear logic and parallelismPublished by Springer Nature ,1987
- Linear logicTheoretical Computer Science, 1987
- Implementing functional languages in the Categorical Abstract MachinePublished by Association for Computing Machinery (ACM) ,1986
- The categorical abstract machinePublished by Springer Nature ,1985
- Algebra of ProofsStudies in Logic and the Foundations of Mathematics, 1978
- Deductive systems and categoriesTheory of Computing Systems, 1968
- On MacLane's conditions for coherence of natural associativities, commutativities, etc.Journal of Algebra, 1964