Reference4 articles.
1. Linear logic;Girard;Theoret. Comput. Sci.,1987
Cited by
118 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparing session type systems derived from linear logic;Journal of Logical and Algebraic Methods in Programming;2025-01
2. On combining intuitionistic and S4 modal logic;Bulletin of the Section of Logic;2024-06-05
3. Lambek Calculus with Banged Atoms for Parasitic Gaps;Lecture Notes in Computer Science;2024
4. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20
5. Gödel’s Absolute Proofs and Girard’s Ludics: Mutual Insights;Synthese Library;2023-12-13