Full abstraction for (2000)

by S Abramsky, R Jagadeesan, P Malacaria
Venue:PCF, Information and Computation 163