Author:
Abramsky S.,Jagadeesan R.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott;ACM SIGLOG News;2024-04
2. Geometry of synthesis iv;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19
3. Geometry of synthesis iv;ACM SIGPLAN Notices;2011-09-18
4. An Explicit Framework for Interaction Nets;Logical Methods in Computer Science;2010-12-12
5. Proof Nets and Explicit Substitutions;Lecture Notes in Computer Science;2000