Author:
Abramsky S.,Honda K.,McCusker G.
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Logical Essence of Well-Bracketed Control Flow;Proceedings of the ACM on Programming Languages;2024-01-05
2. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
3. Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code;Journal of the ACM;2023-09-14
4. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
5. Operational Algorithmic Game Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26