Author:
Galmiche Didier,Pym David J.
Subject
General Computer Science,Theoretical Computer Science
Reference172 articles.
1. Games and full completeness for multiplicative linear logic;Abramsky;J. Symbolic Logic,1994
2. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic;Abrusci;J. Symbolic Logic,1991
3. P. Anderson, Representing proof transformations for program optimization, in: 12th Internat. Conf. on Automated Deduction, CADE-12, LNAI 814, Nancy, France, July 1994, pp. 575–589.
4. Logic programming with focusing proofs in linear logic;Andreoli;J. Logic Comput.,1992
5. Linear objects: logical processes with built-in inheritance;Andreoli;New Generation Comput.,1991
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献