Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Proofs-as-processes;Abramsky,1992
2. Computational Interpretations of Linear Logic;Abramsky;Theoret. Comput. Sci.,1993
3. New Foundations for the Geometry of Interaction;Abramsky;Inform. and Comput.,1994
4. Games and full completeness theorem for multiplicative linear logic;Abramsky;J. Symbolic Logic,1994
5. A. Asperti, Causal dependencies in multiplicative linear logic with MIX, manuscript.
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Linear Resources in Isabelle/HOL;Journal of Automated Reasoning;2024-05-18
2. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
3. The Session Abstract Machine;Lecture Notes in Computer Science;2024
4. Prioritise the Best Variation;Logical Methods in Computer Science;2023-12-18
5. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14