Author:
Cartwright R.,Curien P.L.,Felleisen M.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fully abstract models for effectful λ-calculi via category-theoretic logical relations;Proceedings of the ACM on Programming Languages;2022-01-12
2. Extensional and Intensional Semantics of Bounded and Unbounded
Nondeterminism;Logical Methods in Computer Science;2021-11-24
3. A Study of Multiparty Interactions in Continuation Semantics;2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2020-09
4. Continuation-Based Metric Semantics for Concurrency;2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP);2019-09
5. Type-two Iteration with Bounded Query Revision;Electronic Proceedings in Theoretical Computer Science;2019-08-14