摘要
萨姆森·阿布拉姆斯基。 {n.d.}。 编程语言的游戏语义（摘要）。 1997年8月25日至29日，斯洛伐克布拉迪斯拉发MFCS’97。 谷歌学者 
数字图书馆 
Samson Abramsky、Kohei Honda和Guy McCusker。 1998年，《通用参考的完全抽象游戏语义》。 1998年6月21日至24日，美国印第安纳州印第安纳波利斯LICS’98会议记录。 334--344. 谷歌学者 数字图书馆 萨姆森·阿布拉姆斯基（Samson Abramsky）、拉达·贾加迪桑（Radha Jagadeesan）和帕斯奎尔·马拉卡里亚（Pasquale Malacaria），2000年。 PCF的完整抽象。 Inf.计算。 163, 2 (2000), 409--470. 谷歌学者 数字图书馆 萨姆森·艾布拉姆斯基和盖伊·麦库斯克。 1996年，线性、共享和状态：具有活动表达式的理想化算法的完全抽象的游戏语义。 选举人。 注释Theor。 计算。 科学。 3 (1996), 2--14. 谷歌学者 交叉引用 
萨姆森·阿布拉姆斯基和保尔·安德烈·梅利埃。 {n.d.}。 并发游戏和完整性。 1999年7月2日至5日，意大利特伦托LICS’99。 431--442. 谷歌学者 数字图书馆 皮埃尔·布德斯。 2009。厚子树，游戏和实验。 2009年7月1日至3日，巴西巴西利亚，TLCA 2009。 65--79. 谷歌学者 数字图书馆 Simon Castellan、Pierre Clairamault、Silvain Rideau和Glynn Winskel。 2017年，作为赛事结构的游戏和战略。 LMCS 13，3（2017）。 谷歌学者 西蒙·卡斯特伦（Simon Castellan）、皮埃尔·克莱兰堡（Pierre Clairambault）和格林·温斯克尔（Glynn Winskel）。 {n.d.}。 并发游戏中的对称性。 2014年，维也纳，CSL-LICS’14。 28:1--28:10. 谷歌学者 数字图书馆 西蒙·卡斯特伦（Simon Castellan）、皮埃尔·克莱兰堡（Pierre Clairambault）和格林·温斯克尔（Glynn Winskel）。 2015年，PCF的并行密集完全抽象游戏模型。 2015年7月6日至10日，日本京都，LICS 2015会议记录。 232--243. 谷歌学者 数字图书馆 西蒙·卡斯特伦（Simon Castellan）、皮埃尔·克莱兰堡（Pierre Clairambault）和格林·温斯克尔（Glynn Winskel）。 2016年，海兰德奥运会同期举行。 (2016). https://arxiv.org/abs/1409.7542。 谷歌学者 文森特·达诺斯和托马斯·埃尔哈德。 2011.概率相干空间作为高阶概率计算的模型。 Inf.计算。 209, 6 (2011), 966--991. 谷歌学者 数字图书馆 文森特·达诺斯和罗素·哈默。 2002.概率游戏语义。 ACM事务处理。 计算。 日志。 3, 3 (2002), 359--382. 谷歌学者 数字图书馆 托马斯·埃尔哈德（Thomas Ehrhard）、米歇尔·帕加尼（Michele Pagani）和克里斯汀·塔森（Christine Tasson）。 2018.可测锥和稳定可测函数：概率高阶规划模型。 PACMPL 2，波普尔，59:1-59:28。 谷歌学者 数字图书馆 托马斯·埃尔哈德（Thomas Ehrhard）、克里斯汀·塔森（Christine Tasson）和米歇尔·帕加尼（Michele Pagani）。 {n.d.}。 概率相干空间对于概率PCF是完全抽象的。 2014年1月20日至21日，美国圣地亚哥，POPL’14会议记录。 309--320. 谷歌学者 数字图书馆 让-伊夫·吉拉德。 1988.正规函子、幂级数和λ-演算。 《纯粹逻辑与应用逻辑年鉴》37，2（1988），129--177。 谷歌学者 交叉引用 Chris Heunen、Ohad Kammar、Sam Staton和Hongseok Yang。 2017年，高阶概率理论的一个方便类别。 17年，雷克雅未克。 IEEE计算机学会，1-12。 谷歌学者 交叉引用 J.M.E.Hyland和C.H.Luke Ong。 2000.关于PCF的完整抽象：I、II和III。Inf.计算。 163, 2 (2000), 285--408. 谷歌学者 数字图书馆 克莱尔·琼斯和戈登·D·普洛特金。 1989年，评估的概率功率域。 年（LICS’89），美国加利福尼亚州太平洋格罗夫，IEEE计算机学会，186-195。 谷歌学者 数字图书馆 阿奇姆·荣格（Achim Jung）和里贾娜·蒂克斯（Regina Tix）。 1998年。麻烦的概率域。 选举人。 注释Theor。 计算。 科学。 13 (1998), 70--91. 谷歌学者 交叉引用 詹姆斯·莱尔德。 1997年，《带控制的函数式语言的完全抽象》。 1997年6月29日至7月2日，波兰华沙，LICS’97，58-67。 谷歌学者 数字图书馆 Jim Laird、Giulio Manzonetto、Guy McCusker和Michele Pagani。 {n.d.}。 类型lambda-calculi的加权关系模型。 在LICS’13中。 谷歌学者 数字图书馆 Joachim Lambek和Philip J Scott。 1988.高阶范畴逻辑导论。 第7卷。 剑桥大学出版社。 谷歌学者 数字图书馆 保罗·安德烈·梅利埃。 2005.异步游戏4：命题线性逻辑的完整模型。 《会议记录》，LICS 2005，美国伊利诺伊州芝加哥，386--395。 谷歌学者 数字图书馆 保罗·安德烈·梅利埃。 2009.线性逻辑的分类语义。 《全景与综合》27（2009），15-215。 谷歌学者 戈登·普洛金（Gordon D.Plotkin）。 1977年，LCF被视为一种编程语言。 西奥。 计算。 科学。 5, 3 (1977), 223--255. 谷歌学者 交叉引用 西尔维恩·里多和格林·温斯克尔。 2011年，并行战略。 2011年6月21日至24日，加拿大多伦多。 409--418. 谷歌学者 数字图书馆 N.Saheb-Djahromi公司。 1980年，CPO的不确定性措施。 西奥。 计算。 科学。 12 (1980), 19--37. 谷歌学者 交叉引用 Sam Staton、Hongseok Yang、Frank D.Wood、Chris Heune和Ohad Kammar。 概率规划的语义：高阶函数、连续分布和软约束。 2016年7月5日至8日，美国纽约州纽约市，LICS’16会议记录。 525--534. 谷歌学者 数字图书馆 津田武史和王家卫。 2014年。无辜战略是对游戏的惩罚——确定性、非确定性和概率性无辜。 CoRR abs/1409.2764（2014年）。 http://arxiv.org/abs/1409.2764 谷歌学者 津田武史和王家卫。 2015.通过Sheeves实现游戏语义的不确定性。 2015年7月6日至10日，在日本京都举行的2015年LICS第30届ACM/IEEE计算机科学逻辑年会上。 220--231. 谷歌学者 数字图书馆 格林·温斯克尔。 1986.事件结构。 Petri网进展。 325--392. 谷歌学者 数字图书馆 格林·温斯克尔。 2007.具有对称性的事件结构。 选举人。 注释Theor。 计算。 科学。 172 (2007), 611--652. 谷歌学者 数字图书馆 格林·温斯克尔。 2013.分布式概率和量子策略。 选举人。 注释Theor。 计算。 科学。 298 (2013), 403--425. 谷歌学者 数字图书馆 格林·温斯克尔。 2013年，作为代理的战略。 2013年3月16日至24日，《FOSSACS’13会议录》，意大利罗马。 418--433. 谷歌学者 数字图书馆
建议
PCF的操作语义和公理语义 LFP’90：1990年ACM LISP和函数编程会议记录 本文所考虑的PCF是一个懒惰型lambda演算，它具有函数、配对、定点运算符和任意代数数据类型。 PCF的自然方程式公理包括 η -等价性和所谓的“surpjective pairing”公理。。。 概率相干空间对概率PCF是完全抽象的 POPL’14：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 概率相干空间（PCoh）产生了高阶概率计算的语义，将类型解释为凸集，将程序解释为幂级数。 我们证明了Pcoh中解释的平等性表征了可操作性。。。
