Game Theoretic Analysis of Call-by-Value Computation.

Kohei Honda, Nobuko Yoshida

Browse the full ICALP paper archive.