雨果·帕奎特 贝叶斯策略：作为通用图形模型的概率程序。 （英语） Zbl 1473.68054号 Yoshida，Nobuko（编辑），《编程语言和系统》。2021年3月27日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2021）的一部分，在卢森堡卢森堡市举行了第30届欧洲编程研讨会（ESOP 2021）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12648, 519-547 (2021).MSC公司：68号30 62H22个 68甲15 第68页第19页 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Paquet｝，勒克特。票据计算。科学。12648、519--547（2021；Zbl 1473.68054） 全文： 内政部
皮埃尔·克莱兰堡；雨果·帕奎特 概率（λ）演算的完全抽象模型。 （英语） Zbl 1528.03117号 Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第16条，第17页（2018）。MSC公司：03B40型 68问题85 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Clairambault}和\textit{H.Paquet}，LIPIcs——莱布尼茨国际程序。通知。119，第16条，第17页（2018；Zbl 1528.03117） 全文： 内政部
穆罕默德·萨利赫；穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 （英语） Zbl 1211.68254号 正式Asp。计算。 22，第5期，585-609（2010）.MSC公司：第68季度第60季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi}，正式Asp。计算。22，第5号，585--609（2010；Zbl 1211.68254） 全文： 内政部
科琳娜·科斯特；梅赫努什·萨德扎德 联合不动点逻辑的模块化游戏。 （英语） Zbl 1279.03056号 Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，71-92（2008）。MSC公司：03B70号 03B45号 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}和\textit{M.Sadrzadeh}，电子。注释Theor。计算。科学。203，编号5，71-92（2008；Zbl 1279.03056） 全文： 内政部
J.莱尔德。 名称和指针的游戏语义。 （英语） Zbl 1133.68014号 Ann.纯粹应用。逻辑 151，编号2-3，151-169（2008）.MSC公司：68甲18 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird}，Ann.《纯粹的应用》。逻辑151，No.2--3，151--169（2008；Zbl 1133.68014） 全文： 内政部
盖·麦库斯克 游戏和FPC的完全抽象。 （英语） Zbl 1046.68508号 Inf.计算。 160，编号1-2，1-61（2000）.MSC公司：68甲18 68问题55 第三天65 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{G.McCusker}，Inf.计算。160，编号1--2，1--61（2000；Zbl 1046.68508） 全文： 内政部 链接