Full abstraction for (1994)

by S Abramsky, P Malacaria, R Jagadeesan
Venue:PCF. TACS