Author:
Lago Ugo Dal,Faggian Claudia,Valiron Benoit,Yoshimizu Akira
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding;Proceedings of the ACM on Programming Languages;2023-01-09
2. The (In)Efficiency of interaction;Proceedings of the ACM on Programming Languages;2021-01-04
3. Abstract machines, optimal reduction, and streams;Mathematical Structures in Computer Science;2019-04-08
4. THE DYNAMIC GEOMETRY OF INTERACTION MACHINE: A TOKEN-GUIDED GRAPH REWRITER;LOG METH COMPUT SCI;2019
5. The Geometry of Computation-Graph Abstraction;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09