文件大小：473 kB 17页
一般代数效应，特别是组合概率和不确定性的基本操作序数
作者
-
部分： 体积： 第27届EACSL计算机科学逻辑年会（CSL 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-08-29
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→操作语义 计算理论→指称语义 计算理论→公理语义
关键词
上下文等价 代数效应 操作语义学 领域理论 不确定性 概率选择 马尔可夫决策过程
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
U.Dal Lago、F.Gavazzo和P.Blain Levy。 有效的应用双相似性：单数、关系数和豪氏方法。 2017年第32届计算机科学逻辑年度研讨会论文集。 
-
让·古堡-拉雷克。 PCF I的非确定性和概率扩展的完全抽象：天使案例。 《程序设计中的逻辑和代数方法杂志》，84:155-1842015年。
-
让·古堡-拉雷克。 混合选择模型之间的同构定理。 计算机科学中的数学结构，27（6）：1032-10672017。
-
雷霍德·赫克曼（Reinhold Heckmann）。 概率域。 《CAAP’94会议录》，计算机科学讲稿第787页。 施普林格，1994年。
-
马丁·海兰德（Martin Hyland）、戈登·普洛特金（Gordon Plotkin）和约翰·鲍尔（John Power）。 组合效果：总和和张量。 理论计算机科学，357（1）：70-992006。
-
Patricia Johann、Alex Simpson和Janis Voigtländer。 代数效应的通用操作元理论。 2010年7月，第25届IEEE计算机科学逻辑年会，第209-218页。
-
克劳斯·凯梅尔（Klaus Keimel）和戈登·普洛金（Gordon D.Plotkin）。 概率和不确定性的混合幂域。 《计算机科学中的逻辑方法》，13（1），2017年。
-
德克斯特·科赞。 概率PDL。 计算机与系统科学杂志，30（2）：162-1781985。
-
安娜贝拉·麦克维尔（Annabelle McIver）和卡罗尔·摩根（Carroll Morgan）。 概率系统的抽象、精化和证明。 计算机科学专著。 斯普林格，2005年。
-
Matteo Mio。上预期双相似性和łukasiewiczμ-演算。 《软件科学和计算结构基础——第17届国际会议》，FOSSACS 2014，第335-350页，2014年。
-
迈克尔·米斯洛夫。 支持非确定性和概率选择的模型。 JoséRolim主编，《并行和分布式处理：15 IPDPS 2000 Workshops Cancun，Mexico》，2000年5月1日至5日，《会议记录》，第993-1000页。 施普林格-柏林-海德堡，柏林，海德堡。
-
迈克尔·米斯洛夫、乔·瓦克宁和詹姆斯·沃雷尔。 概率和不确定性公理。 理论计算机科学电子笔记，96:7-282004。
-
Gordon Plotkin和John Power。 代数效应的充分性。 在软件科学和计算结构基础国际会议上，第1-24页。 斯普林格，2001年。
-
戈登·普洛金和约翰·鲍尔。 计算的概念决定单子。 在软件科学和计算结构基础国际会议上，第342-356页。 斯普林格，2002年。
-
戈登·普洛特金和马蒂亚·普雷特纳。 代数效应的逻辑。 2008年第23届计算机科学逻辑年度研讨会论文集。
-
安德烈亚·沙尔克（Andrea Schalk）。 广义幂结构代数。 博士论文，TH Darmstadt，1993年。
-
亚历克斯·辛普森（Alex Simpson）和尼尔·沃诺内维尔（Niels Voorneveld）。 通过代数效应模式实现行为等效。 在第27届欧洲程序设计研讨会（ESOP）上发表。 施普林格，2018年。
-
迈克尔·B·史密斯。 功率域和谓词变换器：拓扑视图。 1983年ICALP自动化、语言和编程国际学术讨论会论文集，《计算机科学讲义》第154卷，第662-675页。 斯普林格，1983年。
-
萨姆·斯塔顿。 计算效果的实例。 2013年第28届计算机科学逻辑年度研讨会论文集。
-
Regina Tix、Klaus Keimel和Gordon Plotkin。 结合概率论和非确定性的语义域。 理论计算机科学电子笔记，222:3-992009。
-
丹尼尔·瓦拉卡和格林·温斯克。 在不确定性上分配概率。 计算机科学中的数学结构，16（1），2006。