拟Borel空间 swMATH ID: 42016 软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 描述: 准布尔空间。拟布尔空间的概念是由Heunen等人引入的。该理论为具有连续分布的高阶概率规划语言提供了一个合适的指称模型。这篇文章是拟布尔空间理论的形式化,包括拟布尔空间(乘积、副乘积、函数空间)的构造,可测空间范畴与拟布尔空间范畴之间的附加,以及拟布尔空间上的概率单子。本条目还包含Heunen等人工作中提出的贝叶斯回归的形式化。这项工作是同一作者Isabelle/HOL中高阶概率程序的程序逻辑工作的一部分,将在第16届函数和逻辑编程国际研讨会(FLOPS 2022)的会议记录中公布。 主页: https://www.isa-afp.org/entries/Quasi_Borel_Spaces.html 依赖项: 伊莎贝尔/HOL 相关软件: 教堂;HOL公司;精益;Coq公司;马特里布;毫升;pGCL公司;密度编译器;存档正式证据;举起;转让;PVS公司;伊莎贝尔/HOL;风险投资 引用于: 2文件 全部的 前5名7位作者引用 1 克里斯·希恩 1 Michikazu Hirata 1 奥哈德·卡玛 1 Minamide、Yasuhiko 1 佐藤,铁杉 1 萨姆·斯塔顿 1 杨红seok 0连载引用 在3个字段中引用 2 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文