Full abstraction for PCF', Submitted for publication, ftp-able at theory.doc.ic.ac.uk in directory papers/Malacaria (1995)

by S Abramsky, R Jagadeesan, P Malacaria