Funder
Agence Nationale de la Recherche
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Linear logic;Girard;Theor. Comput. Sci.,1987
2. Light linear logic;Girard;Inf. Comput.,1998
3. Soft linear logic and polynomial time;Lafont;Theor. Comput. Sci.,2004
4. Linear logic and elementary time;Danos;Inf. Comput.,2003
5. An implicit characterization of PSPACE;Gaboardi;ACM Trans. Comput. Log.,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exponentially Handsome Proof Nets and Their Normalization;Electronic Proceedings in Theoretical Computer Science;2021-12-30