Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. J.-Y. Girard. Linear logic. Theoretical Computer Science 50, 50(1):1–102, 1987.
2. Y. Lafont. Interaction nets. In proceedings of the 17th Annnual ACM Symposium on Principles of Programming Languages, Orlando (Fla., USA), pages 95–108, 1990.
3. Y. Lafont. From proof-nets to interaction nets. In Advances in Linear Logic, London Mathematical Society Lecture Note Series 222. Cambridge University Press, 1995.
4. Y. Lafont. Interaction combinators. Information and Computation, 137(1):69–101, 1997.
5. Sylvain Lippi. Interaction nets as a programming language. Technical report, Institut de Mathématiques de Luminy, 2001.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategic port graph rewriting: an interactive modelling framework;Mathematical Structures in Computer Science;2018-08-02
2. An Implementation Model for Interaction Nets;Electronic Proceedings in Theoretical Computer Science;2015-05-26
3. A Simple Parallel Implementation of Interaction Nets in Haskell;Electronic Proceedings in Theoretical Computer Science;2015-04-10
4. Towards a GPU-based implementation of interaction nets;Electronic Proceedings in Theoretical Computer Science;2014-03-29
5. Realizing Monads in Interaction Nets via Generic Typed Rules;Lecture Notes in Computer Science;2012