Author:
FERNÁNDEZ M.,MACKIE I.,SINOT F-R.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A simpler lambda calculus;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019
2. THE DYNAMIC GEOMETRY OF INTERACTION MACHINE: A TOKEN-GUIDED GRAPH REWRITER;LOG METH COMPUT SCI;2019
3. Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2018-02-16
4. Token-passing Optimal Reduction with Embedded Read-back;Electronic Proceedings in Theoretical Computer Science;2016-09-10
5. Linearity: A Roadmap;Journal of Logic and Computation;2012-06-19