PCF观测等价性的具体表示
A Concrete Representation of Observational Equivalence for PCF
摘要：
使用博弈语义的PCF的完整抽象结果需要识别所有无辜的策略，这些策略是无辜的不可区分的。这涉及对所有无害测试的量化，参见。在所有无辜的上下文中进行量化。在这里，我们提出了一个表示无辜的战略，等同于无辜的不可区分的，产生一个表示的PCF条款，正好等同于那些条款的观测等价。
英文摘要：
The full abstraction result for PCF using game semantics requires one to identify all innocent strategies that are innocently indistinguishable. This involves a quantification over all innocent tests, cf. quantification over all innocent contexts. Here we present a representation of innocent strategies that equates innocently indistinguishable ones, yielding a representation of PCF terms that equates precisely those terms that are observational equivalent.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
