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

Cached

Download Links

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

Documents Related by Co-Citation

118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
200 On full abstraction for PCF – J M E Hyland, C H L Ong
315 Functions as processes – R Milner - 1990
103 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
65 Call-by-Value Games – Samson Abramsky, Guy Mccusker - 1997
71 Typed Concurrent Objects – Vasco T. Vasconcelos
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
59 Hereditarily Sequential Functionals – Hanno Nickau - 1994
730 Notions of Computation and Monads – Eugenio Moggi - 1991
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
83 Types for Dyadic Interaction – Kohei Honda - 1993
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
110 Fully abstract models of typed lambda calculi – R Milner - 1977
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
32 A Semantic analysis of control – James David Laird - 1998
7 A core calculus of dependency, POPL'99 – M Abadi, A Banerjee, N Heintze, J Riecke - 1999
5 A New Type System for – G Smith - 2001