Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
562 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stabilized profunctors and stable species of structures;Logical Methods in Computer Science;2024-02-29
2. Modular Denotational Semantics for Effects with Guarded Interaction Trees;Proceedings of the ACM on Programming Languages;2024-01-05
3. The order-K-ification monads;Mathematical Structures in Computer Science;2023-12-21
4. Strong computable type;Computability;2023-11-13
5. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11