Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. The pattern-of-calls expansion is the canonical fixpoint for recursive definitions;Arbib;JACM,1982
2. Retracing some paths in process algebra;Abramsky,1996
3. Geometry of interaction and linear combinatory algebras;Abramsky;MSCS,2002
4. New foundations for the geometry of interaction;Abramsky;Inform. Comput.,1994
5. Algebraically compact functors;Barr;J. Pure Appl. Algebra,1992
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Memoryful geometry of Interaction II: recursion and adequacy;ACM SIGPLAN Notices;2016-04-08
2. Memoryful geometry of Interaction II: recursion and adequacy;Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2016-01-11