Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference11 articles.
1. Asperti, A. 1997, Special light linear logic, http://hypatia.dcs.qmw.ac.uk/authors/A/AspertiA/SLLL.ps.gz
2. Linear logic;Girard;Theoretical Computer Science,1987
3. Proof-nets: The parallel syntax for proof-theory;Girard,1996
4. Bounded linear logic: A modular approach to polynomial time computability;Girard;Theoret. Comput. Sci.,1992
5. Predicate and set-theoretic calculi based on logics without contractions;Grishin;Math. USSR Izv.,1982
Cited by
205 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomial Time and Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Sequent Systems on Undirected Graphs;Lecture Notes in Computer Science;2024
3. Paradoxes: A Natural Deduction Approach;Trends in Logic;2024
4. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
5. Linear Logic Properly Displayed;ACM Transactions on Computational Logic;2023-01-28