Reference17 articles.
1. A. Asperti, Light affine logic, in: Proceedings of LICS’98, 1998.
2. Intuitionistic light affine logic;Asperti;ACM Transactions on Computational Logic (TOCL),2002
3. V. Atassi, P. Baillot, K. Terui, Verification of Ptime reducibility for system F terms via Dual Light Affine Logic, in: Proceedings of CSL 2006.
4. P. Baillot, K. Terui, Light types for polynomial time computation in lambda-calculus, in: Proceedings of LICS 2004, 2004, pp. 266–275.
5. Linear logic;Girard;Theoretical Computer Science,1987
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献