乌戈·达尔拉戈;北彦浩弘 贝叶斯编程的几何学。 (英语) Zbl 1495.68035号 数学。结构。计算。科学。 31,第6号,633-681(2021).MSC公司:68甲18 03楼52 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{N.Hoshino},数学。结构。计算。科学。31,编号6,633--681(2021;Zbl 1495.68035) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基 基于代理建模中代理的逻辑和几何。 (英语) Zbl 1458.91046号 Sotomayor,Marilda(编辑)等人,《复杂的社会和行为系统》。博弈论和基于主体的模型。纽约州纽约:施普林格。附件。复杂。系统。科学。序列号。,705-723 (2020).MSC公司:91A46型 91A05型 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},in:复杂的社会和行为系统。博弈论和基于主体的模型。纽约州纽约:施普林格。705--723(2020;Zbl 1458.91046) 全文: 内政部
詹姆斯·莱尔德 用于高阶计算的加权模型。 (英语) Zbl 1496.68146号 Inf.计算。 275,文章ID 104645,35 p.(2020).MSC公司:2009年第68季度 03楼52 18 C50 18D20天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird},Inf.计算。275,文章ID 104645,35 p.(2020;Zbl 1496.68146) 全文: 内政部
小林直树;乌戈·达尔·拉戈;查尔斯·格雷洛 关于概率高阶递归程序的终止问题。 (英语) Zbl 1490.68134号 日志。计算方法。科学。 16,第4号,第2号论文,57页(2020年).MSC公司:第68季度第60季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人,日志。计算方法。科学。16,第4号,第2号论文,57页(2020年;Zbl 1490.68134) 全文: arXiv公司 链接
罗斯·霍恩 子加法:扩展线性逻辑的概率选择证明理论。 (英语) Zbl 1528.68254号 Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第23条,第16页(2019年)。MSC公司:第68季度85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{R.Horne},LIPIcs——莱布尼茨国际程序。通知。131,第23条,第16页(2019年;Zbl 1528.68254) 全文: 内政部
托马斯·埃尔哈德 概率相干空间中的微分和距离。 (英语) Zbl 1528.68063号 Geuvers,Herman(编辑),第四届计算和扣除正式结构国际会议,2019年金融稳定与发展会议,德国多特蒙德,2019,6月24-30日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。131,第17条,第17页(2019)。MSC公司:68甲18 03楼52 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard},LIPIcs——莱布尼茨国际程序。通知。131,第17条,第17页(2019年;Zbl 1528.68063) 全文: 内政部
卢卡·保里尼;卢卡·罗维斯;玛格丽塔·佐齐 量子编程变得很容易。 (英语) Zbl 1486.68024号 Ehrhard,Thomas(ed.)等人,线性逻辑和应用中的线性与趋势联合国际研讨会论文集,线性-TLLA 2018,英国牛津,2018年7月7日至8日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)292133-147(2019)。MSC公司:68甲15 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人,《电子》。程序。西奥。计算。科学。(EPTCS)292133--147(2019年;Zbl 1486.68024) 全文: arXiv公司 链接
皮埃尔·克莱兰堡;雨果·帕奎特 概率(λ)演算的完全抽象模型。 (英语) Zbl 1528.03117号 Ghica,Dan R.(编辑)等人,第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 1527.68141号 Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。341, 321-344 (2018).MSC公司:第68季度85 68甲19 68号30 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{H.Paquet}和\textit{G.Winskel},电子。注释Theor。计算。科学。341、321--344(2018;Zbl 1527.68141) 全文: 内政部
马蒂杰斯·瓦卡;拉德哈·贾加迪桑;萨姆森·艾布拉姆斯基 依赖类型的游戏语义。 (英语) Zbl 1395.68183号 Inf.计算。 261,第2部分,401-431(2018).MSC公司:68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Vákár}等人,《Inf.Compute》。261,第2部分,401-431(2018;Zbl 1395.68183) 全文: 内政部 链接
阿列克桑达尔·迪莫夫斯基。 基于符号博弈语义和模型计数的概率分析。 (英语) Zbl 1483.68077号 Patricia Bouyer等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2017,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)256,1-15(2017)。MSC公司:68号30 68问题55 第68季度第60季度 87年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.迪莫夫斯基},电子。程序。西奥。计算。科学。(EPTCS)256,1--15(2017;Zbl 1483.68077) 全文: arXiv公司 链接
詹姆斯·莱尔德 从定性语义学到定量语义学。通过改变基础。 (英语) Zbl 1486.68023号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 36-52 (2017).MSC公司:68甲15 03楼52 18D20天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird},莱克特。注释计算。科学。10203,36-52(2017;Zbl 1486.68023) 全文: 内政部
拉斐尔·克鲁比莱;乌戈·达尔拉戈;戴维·桑吉奥吉;瓦莱里亚·维格努德利 应用相似性、顺序性和完全抽象。 (英语) Zbl 1444.68116号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 65-82 (2015).MSC公司:第68季度85 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{R.Crubillé}等人,Lect。注释计算。科学。9360,65-82(2015;Zbl 1444.68116) 全文: 内政部 哈尔
让·古鲍特·拉雷克 PCF的非确定性和概率扩展的完全抽象。一: 天使般的案例。 (英语) 兹比尔1304.68026 J.日志。代数。方法计划。 84,第1期,155-184(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq},J.Log。代数。方法计划。84,第1号,155--184(2015;Zbl 1304.68026) 全文: 内政部
斯特凡·基弗;Andrzej S.穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔 算法概率游戏语义。用自动机玩游戏。 (英语) Zbl 1291.68294号 形式方法系统。设计。 43,第2期,285-312(2013).MSC公司:87年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,《形式方法系统》。设计。43,第2号,285--312(2013;Zbl 1291.68294) 全文: 内政部
贝诺缬氨酸 关于量子和概率线性lambda-calculi(扩展摘要)。 (英语) Zbl 1347.68146号 Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,121-128(2011)。MSC公司:2005年第68季度 03B40型 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{B.Valiron},电子。注释Theor。计算。科学。270,第1号,121--128(2011;Zbl 1347.68146) 全文: 内政部
扬尼克·德尔贝克 量子数据的游戏语义。 (英语) Zbl 1347.68212号 Coecke,Bob(ed.)等人,《第五届量子物理和逻辑国际研讨会论文集》和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》270,第1期,第41-57页(2011年)。MSC公司:68问题55 68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Delbecque},电子。注释Theor。计算。科学。270,第1号,41-57(2011;Zbl 1347.68212) 全文: 内政部
文森特·达诺斯;托马斯·埃尔哈德 概率相干空间作为高阶概率计算的模型。 (英语) Zbl 1267.68085号 Inf.计算。 209,第6期,966-991(2011).MSC公司:68甲18 03楼52 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{T.Ehrhard},Inf.Comput。209,第6号,966--991(2011;Zbl 1267.68085) 全文: 内政部
扬尼克·德尔贝克;帕纳加登,普拉卡什 量子商店的游戏语义。 (英语) Zbl 1286.81044号 Bauer,Andrej(编辑)等人,《第24届编程语义数学基础会议论文集》(MFPS XXIV),美国宾夕法尼亚州费城,2008年5月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记218153-170(2008)。MSC公司:81页68 68甲15 68甲18 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Delbecque}和\textit{P.Panagaden},电子。注释Theor。计算。科学。218153-170(2008年;Zbl 1286.81044) 全文: 内政部
彼得·塞林格;贝诺缬氨酸 关于量子线性函数语言的完全抽象模型(扩展抽象)。 (英语) Zbl 1279.68046号 Peter Selinger(编辑),《第四届量子编程语言国际研讨会论文集》(QPL 2006),英国牛津,2006年7月17日至19日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记210,123-137(2008)。MSC公司:68甲18 68甲15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Selinger}和\textit{B.Valiron},电子。注释Theor。计算。科学。210、123-137(2008年;Zbl 1279.68046) 全文: 内政部
丹尼尔·瓦拉卡;吉田、Nobuko 概率演算和事件结构。 (英语) Zbl 1279.68269号 Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,147-166(2007)。MSC公司:第68季度85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Varacca}和\textit{N.Yoshida},电子。注释Theor。计算。科学。190,第3号,147--166(2007;Zbl 1279.68269) 全文: 内政部
皮埃尔·卢伊斯·居里 可定义性和完全抽象。 (英语) Zbl 1277.68120号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172301-310(2007)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里},电子。注释Theor。计算。科学。172301-310(2007年;Zbl 1277.68120) 全文: 内政部 反向链接: 卫生官员
大卫·克拉克;克里斯·汉金;塞巴斯蒂安·亨特 类Algol语言的信息流。 (英语) Zbl 1027.68021号 计算。语言系统。结构。 28,第1期,3-28(2002).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Clark}等人,计算机。语言系统。结构。28,第1号,第3--28号(2002;Zbl 1027.68021) 全文: 内政部