Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
559 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modular Denotational Semantics for Effects with Guarded Interaction Trees;Proceedings of the ACM on Programming Languages;2024-01-05
2. The order-K-ification monads;Mathematical Structures in Computer Science;2023-12-21
3. Strong computable type;Computability;2023-11-13
4. Extensional and Non-extensional Functions as Processes;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Descriptive complexity of qcb0-spaces;Theoretical Computer Science;2023-02