see also On Full Abstraction for PCF: I, II and III, by the same authors (1995)

by J M E Hyland, C-H L Ong
Venue:Pi-calculus, Dialogue Games and PCF, in Proc. 7th ACM Conf. Functional Programming and Computer Architecture