Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. S. Abramsky. Computational interpretations of linear logic. Theoretical Computer Science, 111:3–57, 1993.
2. V. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403–1451, December 1991.
3. V. M. Abrusci. Non-commutative proof nets. In [13], pages 271–296, 1995.
4. A. Asperti. A linguistic approach to dead-lock. Technical Report LIENS 91-15, Dép. Maths et Info, Ecole Normale Supérieure, Paris, October 1991.
5. Lecture Notes in Computer Science;A. Asperti,1994
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lambek Calculus with Banged Atoms for Parasitic Gaps;Lecture Notes in Computer Science;2024
2. Linear logic in a refutational setting;Journal of Logic and Computation;2023-08-10
3. Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces;Electronic Proceedings in Theoretical Computer Science;2021-12-30
4. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
5. Logic Beyond Formulas;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08