Radha Jagadeesan and Pasquale Malacaria. Full abstraction for PCF (1994)

by Samson Abramsky
Venue:In International Symposium on Theoretical Aspects of Computer Science (TACS