Games and Full Abstraction for PCF: second announcement

A document is now available by anonymous ftp from theory.doc.ic.ac.uk in

The gist is conveyed by the final sentence: 
``In the light of the preliminary discussion, we feel that these results
provide a clear-cut solution to the Full Abstraction Problem for PCF.''