Author:
Fernández Maribel,Mackie Ian
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abramsky, S.: Computational Interpretations of Linear Logic. Theoretical Computer Science 111, 3–57 (1993)
2. Ariola, Z.M., Klop, J.W.: Lambda calculus with explicit recursion. Information and Computation 139(2), 154–233 (1997)
3. Banach, R.: The algebraic theory of interaction nets. Technical Report UMCS-95- 7-2, University of Manchester (1995)
4. Bawden, A.: Connection graphs. In: Proceedings of ACM Conference on Lisp and Functional Programming, pp. 258–265 (1986)
5. Danos, V., Regnier, L.: The structure of multiplicatives. Archive for Mathematical Logic 28, 181–203 (1989)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Programming Model for Decentralised Data Networks;Communications in Computer and Information Science;2018
2. In-place Graph Rewriting with Interaction Nets;Electronic Proceedings in Theoretical Computer Science;2016-09-10
3. An Implementation Model for Interaction Nets;Electronic Proceedings in Theoretical Computer Science;2015-05-26
4. Towards a GPU-based implementation of interaction nets;Electronic Proceedings in Theoretical Computer Science;2014-03-29
5. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY;Language, Life, Limits;2014