Author:
Bono Viviana,Padovani Luca
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Polymorphic lambda calculus with context-free session types;Information and Computation;2022-11
2. Nested Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15
3. Mixed sessions;Theoretical Computer Science;2022-01
4. Nested Session Types;Programming Languages and Systems;2021
5. Mixed Sessions;Programming Languages and Systems;2020