Full Abstraction for PCF (Extended Abstract) (1994)

by Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan
Venue:THEORETICAL ASPECTS OF COMPUTER SOFTWARE. INTERNATIONAL SYMPOSIUM TACS'94, NUMBER 789 IN LECTURE NOTES IN COMPUTER SCIENCE