Full abstraction for PCF. Accepted for publication (1996)

by S Abramsky, R Jagadeesan, P Malacaria
Venue:in Information and Computation