Author:
Clairambault Pierre,Harmer Russ
Reference27 articles.
1. Semantics of interaction: an introduction to game semantics;Abramsky;Semantics and Logics of Computation,1996
2. S. Abramsky, K. Honda, G. McCusker, A fully abstract game semantics for general references, in: Proceedings, Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
3. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions;Abramsky,1997
4. Least and greatest fixed points in linear logic;Baelde;Lecture Notes in Computer Science,2007
5. A semantics of evidence for classical arithmetic;Coquand;Journal of Symbolic Logic,1995
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
2. A Tale of Additives and Concurrency in Game Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Dynamic game semantics;Mathematical Structures in Computer Science;2020-09
4. THIN GAMES WITH SYMMETRY AND CONCURRENT HYLAND-ONG GAMES;LOG METH COMPUT SCI;2019
5. Bounding linear head reduction and visible interaction through skeletons;Logical Methods in Computer Science;2015-06-10