Author:
Dezani-Ciancaglini Mariangiola,de'Liguoro Ugo,Piperno Adolfo
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extensional proofs in a propositional logic modulo isomorphisms;Theoretical Computer Science;2023-10
2. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-12-16
3. Precise Subtyping for Asynchronous Multiparty Sessions;ACM Transactions on Computational Logic;2022-10-20
4. A Meta-theory for Big-step Semantics;ACM Transactions on Computational Logic;2022-04-06
5. Precise subtyping for asynchronous multiparty sessions;Proceedings of the ACM on Programming Languages;2021-01-04