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
Citations:66 - 11 self