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

by K HONDA, N YOSHIDA
Venue:Theoretical Computer Science