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

Document Versions

Full Abstraction for PCF (Extended Abstract) –Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan — 1994 — THEORETICAL ASPECTS OF COMPUTER SOFTWARE. INTERNATIONAL SYMPOSIUM TACS'94, NUMBER 789 IN LECTURE NOTES IN COMPUTER SCIENCE