Author:
Abramsky Samson,McCusker Guy
Subject
General Computer Science,Theoretical Computer Science
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
2. Compositionality in Context;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Logic and Geometry of Agents in Agent-Based Modeling;Complex Social and Behavioral Systems;2020
4. Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side;Proceedings of the ACM on Programming Languages;2019-01-02
5. Block Structure vs Scope Extrusion: Between Innocence and Omniscience;Logical Methods in Computer Science;2017-04-27