Author:
Pérez Jorge A.,Caires Luís,Pfenning Frank,Toninho Bernardo
Funder
Fundação para a Ciência e a Tecnologia
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference48 articles.
1. Computational interpretations of linear logic;Abramsky;Theor. Comput. Sci.,1993
2. Dual intuitionistic linear logic;Barber,1996
3. Genericity and the pi-calculus;Berger,2003
4. Genericity and the pi-calculus;Berger;Acta Inform.,2005
5. On the expressiveness of internal mobility in name-passing calculi;Boreale;Theor. Comput. Sci.,1998
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing;Proceedings of the ACM on Programming Languages;2024-01-05
2. The Session Abstract Machine;Lecture Notes in Computer Science;2024
3. Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic;Logical Methods in Computer Science;2023-12-14
4. Polymorphic Typestate for Session Types;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
5. Termination in Concurrency, Revisited;International Symposium on Principles and Practice of Declarative Programming;2023-10-22