Author:
Basaldella Michele,Saurin Alexis,Terui Kazushige
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Sequentiality vs. concurrency in games and logic;Abramsky;Mathematical Structures in Computer Science,2003
2. Logic Programming with Focusing Proofs in Linear Logic;Andreoli;Journal of Logic and Computation,1992
3. Basaldella, M., Saurin, A., Terui, K.: On the meaning of focalization. In: Proceedings of Workshop on Games, Dialogues and Interaction (2009).
4. Chaudhuri K.: Focusing Strategies in the Sequent Calculus of Synthetic Connectives. In: Proceedings of Logic for Programming, Artificial Intelligence and Reasoning (2008) 467–481.
5. Introduction to linear logic and ludics, part II;Curien;Advances in Mathematics (China),2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Harmony in the Light of Computational Ludics;Electronic Proceedings in Theoretical Computer Science;2021-12-30
2. Ludics without Designs I: Triads;Electronic Proceedings in Theoretical Computer Science;2015-02-16