Author:
Caires Luís,Pfenning Frank
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abramsky, S.: Computational Interpretations of Linear Logic. TCS 111(1&2) (1993)
2. Andreoli, J.-M.: Logic Programming with Focusing Proofs in Linear Logic. Journal of Logic and Computation 2(3), 197–347 (1992)
3. Barber, A., Plotkin, G.: Dual Intuitionistic Linear Logic. Technical Report LFCS-96-347, Univ. of Edinburgh (1997)
4. Beffara, E.: A Concurrent Model for Linear Logic. ENTCS 155, 147–168 (2006)
5. Bellin, G., Scott, P.: On the π-Calculus and Linear Logic. TCS 135, 11–65 (1994)
Cited by
200 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Refinement Composition Logic;Proceedings of the ACM on Programming Languages;2024-08-15
4. Linear Resources in Isabelle/HOL;Journal of Automated Reasoning;2024-05-18
5. Message-Observing Sessions;Proceedings of the ACM on Programming Languages;2024-04-29