Full Abstraction for PCF (1996)

by Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Venue:INFORMATION AND COMPUTATION