R. Harmer and G. McCusker, A Fully Abstract Game Semantics for Finite Nondeterminism, in Proc. 14th LICS, pp. 422--430, Washington: IEEE Press, 1999. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
On full abstraction for PCF: I. Models, observables and the.. - Hyland, Ong (Correct)
Algorithmic Game Semantics - Abramsky (Correct)
Games in the Semantics of Programming Languages - An Elementary.. - Jürjens (1999) (Correct)
Adequacy for Algebraic Effects - Plotkin, Power (Correct)
Adequacy for Algebraic Effects - Plotkin, Power (2001) (Correct)
Games in the Semantics of Programming Languages - An Elementary.. - Jürjens (1999) (Correct)
Semantics: - An Guy Mccusker Self-citation (Mccusker) (Correct)
Probabilistic Game Semantics - Danos, Harmer (2000) (8 citations) Self-citation (Harmer) (Correct)
Probabilistic Game Semantics - Danos, Harmer (2000) (8 citations) Self-citation (Harmer) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC