Game Theoretic Analysis of Call-by-Value Computation

  title={Game Theoretic Analysis of Call-by-Value Computation},
  author={Kohei Honda and Nobuko Yoshida},
We present a general semantic universe of call-by-value computation based on elements of game semantics, and validate its appropriateness as a semantic universe by the full abstraction result for call-by-value PCF, a generic typed programming language with call-by-value evaluation. The key idea is to consider the distinction between call-by-name and call-by-value as that of the structure of information ow, which determines the basic form of games. In this way the call-by-name computation and… CONTINUE READING