Searching for "Call-by-Value Games." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Call-by-Value Games
- …Call-by-Value Games Samson Abramsky 1 and Guy McCusker 2 1 University of Edinburgh, Department…
- Cited by 45 (7 self) – Add To MetaCart
-
Game Theoretic Analysis Of Call-By-Value Computation
- …GAME THEORETIC ANALYSIS OF CALL-BY-VALUE COMPUTATION KOHEI HONDA y NOBUKO YOSHIDA z Abstract. We…
- Cited by 50 (21 self) – Add To MetaCart
-
Sequentiality and the π-Calculus
- … -calculus encoding for call-by-value games [22]. Our work, while being built on these preceding studies…
- Cited by 14 (2 self) – Add To MetaCart
-
Sequentiality and the
- …. Fiore and Honda [10] propose another -calculus encoding for call-by-value games [19]. Our work, while…
- Add To MetaCart
-
Regular-Language Semantics for a Call-by-Value Programming Language
- … concepts of game semantics, especially as applied to call-by-value games. The concept of game employed…
- Cited by 12 (5 self) – Add To MetaCart
-
Nominal games and full abstraction for the nu-calculus
- …. 3 Call-by-value games In this section we introduce Honda and Yoshida’s callby-value games [5…
- Cited by 13 (1 self) – Add To MetaCart
-
Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract)
- … note that Abramsky and McCusker [3] presented a category of call-by-value games closely related…
- Cited by 4 (1 self) – Add To MetaCart
-
Sequentiality and the π-Calculus
- …. Fiore and Honda [10] propose another -calculus encoding for call-by-value games [19]. Our work, while…
- Cited by 23 (13 self) – Add To MetaCart
-
Oracle game semantics for the nu-calculus ⋆
- … game semantics. 2 The nu-calculus The nu-calculus is a call-by-value simply typed λ-calculus, extended…
- Add To MetaCart
-
Game Semantics and its Applications
- …-local control: “PCF + catch” [Lai97] Call-by-value games: [HY99, AM98] Pure untyped λ-calculus: characterizing B…
- Add To MetaCart
Showing 1 through 10.
