Publisher
Cambridge University Press
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
2. Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. On the Learnability of Programming Language Semantics;Electronic Proceedings in Theoretical Computer Science;2017-11-29
4. Transition systems over games;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Intensionality, Definability and Computation;Outstanding Contributions to Logic;2014