Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abramsky, S.: Sequentiality vs. concurrency in games and logic. Mathematical Structures in Computer Science 13(4), 531–565 (2003)
2. Abramsky, S., Melliès, P.-A.: Concurrent games and full completeness. In: 14th Symp. on Logic in Computer Science, pp. 431–442. IEEE Computer Society Press, Los Alamitos (1999)
3. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
4. Lecture Notes in Computer Science;D. Baelde,2007
5. IFIP International Federation for Information Processing;K. Chaudhuri,2008
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proofs as Terms, Terms as Graphs;Programming Languages and Systems;2023
2. From axioms to synthetic inference rules via focusing;Annals of Pure and Applied Logic;2022-05
3. On geometry of interaction for polarized linear logic;Mathematical Structures in Computer Science;2017-09-28
4. Uniform Atomic Ordered Linear Logic;Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2017-09-08
5. Multi-focused cut elimination;Mathematical Structures in Computer Science;2017-03-02