Subject
General Computer Science,Theoretical Computer Science
Reference51 articles.
1. The lazy λ-calculus;Abramsky,1990
2. S. Abramsky, Retracing some paths in process algebra, in: Proc. CONCUR’96, Springer Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996, pp. 1–17.
3. S. Abramsky, Interaction, Combinators and Complexity, Lecture Notes, Siena, Italy, 1997.
4. Geometry of interaction and linear combinatory algebras;Abramsky;Math. Structures Comput. Sci.,2002
5. New foundations for the geometry of interaction;Abramsky;Inform. Comput.,1994
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
2. Reconciling Partial and Local Invertibility;Lecture Notes in Computer Science;2024
3. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
4. Reversible computing from a programming language perspective;Theoretical Computer Science;2023-04
5. Compact Inverse Categories;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023