Active Bibliography

5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
8 Games in the Semantics of Programming Languages – Samson Abramsky - 1997
47 Algorithmic Game Semantics – Samson Abramsky - 2001
30 A semantic view of classical proofs -- type-theoretic, categorical, and denotational characterizations (Extended Abstract) – C.-H. L. Ong - 1996
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
103 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
2 Applications of Game Semantics: From Program Analysis to Hardware Synthesis – Dan R. Ghica
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
9 A Game Semantics For Generic Polymorphism – Samson Abramsky, Radha Jagadeesan - 1971
13 Sequential algorithms and strongly stable functions – Paul-André Melliès - 2003
32 A Semantic analysis of control – James David Laird - 1998
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
34 Full Abstraction for Idealized Algol with Passive Expressions – Samson Abramsky, Guy Mccusker - 1998
7 A Fully Abstract Model for Sequential Computation – Michael Marz - 1998
2 Full abstraction for Reduced ML – Andrzej S. Murawski, Nikos Tzevelekos - 2009
31 Probabilistic Game Semantics – Vincent Danos, Russell Harmer - 2000