[Prev][Next][Index][Thread]

Games and Full Abstraction for PCF: second announcement




A document is now available by anonymous ftp from theory.doc.ic.ac.uk in
papers/Abramsky/gfapcf2.{dvi,ps}.

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.''