Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference23 articles.
1. Session types as intuitionistic linear propositions;Caires,2010
2. Conversation types;Caires;Theoretical Computer Science,2010
3. Full abstraction in a subtyped pi-calculus with linear types;Demangeon,2011
4. Subtyping for session types in the pi calculus;Gay;Acta Informaticæ,2005
5. Linear type theory for asynchronous session types;Gay;Journal of Functional Programming,2010
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparing session type systems derived from linear logic;Journal of Logical and Algebraic Methods in Programming;2025-01
2. A simple view of multiparty session types;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Sistemas de Tipos para Programação Concorrente Um Estudo de Caso;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21
4. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
5. Linear Contextual Metaprogramming and Session Types;Electronic Proceedings in Theoretical Computer Science;2024-04-06