Full abstraction for PCF (2000)

by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Venue:Information and Computation