On full abstraction for PCF (0)

by J M E Hyland, C H L Ong
Venue:I, II, and III. Inf. Comput