On full abstraction for PCF: I, II, and III', submitted for publication, ftp-able at theory.doc.ic.ac.uk in directory papers/Ong (1995)

by J M E Hyland, C-H L Ong