Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference61 articles.
1. The Minimal Relevant Logic and the Call-by-Value Lambda Calculus;Bakel,2000
2. Two notions of sub-behaviour for session-based client/server systems;Barbanera,2010
3. Sub-behaviour relations for session-based client/server systems;Barbanera;Math. Struct. Comput. Sci.,2015
4. A filter lambda model and the completeness of type assignment;Barendregt;J. Symb. Log.,1983
5. A semantic deconstruction of session types;Bartoletti,2014
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Preciseness of Subtyping in Session Types: 10 Years Later;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Un-projectable Global Types for Multiparty Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
4. Fair termination of multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2024-06
5. Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses;Electronic Proceedings in Theoretical Computer Science;2024-04-06