Full abstraction for PCF (0)

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