名义通用引用的完全抽象
Full abstraction for nominal general references
摘要：
游戏语义学已经在制定具有高阶过程和广泛的计算效果的语言的完全抽象语义方面取得了相当大的成功。最近，名义游戏已经提出了建模功能语言的名称。这些都是普通的，有状态的游戏投在理论的名义集开发的皮茨和Gabbay。在这里，我们采取名义游戏更进一步，通过开发一个完全抽象的语义语言与名义的一般参考。
英文摘要：
Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful games cast in the theory of nominal sets developed by Pitts and Gabbay. Here we take nominal games one step further, by developing a fully abstract semantics for a language with nominal general references.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
