Game-theoretic analysis of call-by-value computation (1997)

by N Yoshida K Honda
Venue:ICAlP’97 Conf. Proc., LNCS