Game Theoretic Analysis Of Call-By-Value Computation (1997)

Cached

Download Links

by Kohei Honda , NOBUKO YOSHIDA
Citations:59 - 20 self

Active Bibliography

47 Algorithmic Game Semantics – Samson Abramsky - 2001
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
32 A Semantic analysis of control – James David Laird - 1998
1 Processes and Games – Kohei Honda - 2003
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
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
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
1 Theory for Software Verification – David A. Naumann - 2009
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
17 Definability and full abstraction – Pierre-Louis Curien
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
22 Projecting Sequential Algorithms on Strongly Stable Functions – Thomas Ehrhard - 1993
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
Game Semantics and its Applications – Luke Ong
Playful, streamlike computation – Pierre-louis Curien - 2003