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

116 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
194 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
198 On full abstraction for PCF – J M E HYLAND, C-H L ONG - 1990
315 Functions as Processes – Robin Milner - 1992
100 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
63 Call-by-Value Games – Samson Abramsky, Guy Mccusker - 1997
71 Typed Concurrent Objects – Vasco T. Vasconcelos
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
58 Hereditarily Sequential Functionals – Hanno Nickau - 1994
733 Notions of Computation and Monads – Eugenio Moggi - 1991
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
86 Types for Dyadic Interaction – Kohei Honda - 1993
61 Full Abstraction for Functional Languages with Control – James Laird - 1997
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
109 Fully abstract models of the typed lambda calculus – Robin Milner - 1977
209 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 Barnerjee, N Heintze, J G Riecke - 1999
5 A New Type System for – G Smith - 2001