Game semantics for Exponentials (1993)

by S Abramsky, R Jagadeesan