Malacaria P., “Full Abstraction for PCF (extended abstract (1994)

by S Abramsky, R Jagadeesan
Venue:Lecture Note in Computer Science, Vol.789