Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. of Logic and Computation 2(3), 297–347 (1992)
2. Chaudhuri, K.: The Focused Inverse Method for Linear Logic. PhD thesis, Carnegie Mellon University,Technical report CMU-CS-06-162 (December 2006)
3. Lecture Notes in Artificial Intelligence;K. Chaudhuri,2006
4. Curien, P.-L., Herbelin, H.: The duality of computation. In: ICFP 2000. Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, New York, NY, USA, pp. 233–243. ACM Press, New York (2000)
5. London Mathematical Society Lecture Notes 222;V. Danos,1995
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
2. An intuitionistic formula hierarchy based on high‐school identities;Mathematical Logic Quarterly;2019-05
3. A linear/producer/consumer model of classical linear logic;Mathematical Structures in Computer Science;2016-10-27
4. Towards the Automated Generation of Focused Proof Systems;Electronic Proceedings in Theoretical Computer Science;2015-11-08
5. TCC, with History;Lecture Notes in Computer Science;2014