Author:
Birkedal Lars,Mogelberg Rasmus Ejlers
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Denotational Semantics for Effects with Guarded Interaction Trees;Proceedings of the ACM on Programming Languages;2024-01-05
2. Circular Proofs as Session-Typed Processes: A Local Validity Condition;Logical Methods in Computer Science;2022-05-10
3. Modalities and Parametric Adjoints;ACM Transactions on Computational Logic;2022-04-06
4. Polymorphic Iterable Sequential Effect Systems;ACM Transactions on Programming Languages and Systems;2021-03-31
5. DUAL-CONTEXT CALCULI FOR MODAL LOGIC;LOG METH COMPUT SCI;2020