概率按名调用FPC中的凸性与序
计算机科学中的逻辑
2023-06-22 v5 编程语言
摘要
Kegelspitzen是由Keimel和Plotkin创造的数学结构，旨在包含凸集结构和dcpo结构。在本文中，我们自问Kegelspitzen是什么的模型。我们采用范畴论的视角，并证明Kegelspitzen将随机矩阵建模到一个域范畴上。因此，Kegelspitzen构成了pPCF的一个指称模型，pPCF是一种用于概率计算的抽象函数式编程语言。我们以对（概率）递归类型解释的讨论来结束当前的工作，递归类型是用于可能包含同类型其他实体的实体的类型，例如列表和树。
引用
@article{arxiv.1607.04332,
title = {Convexity and Order in Probabilistic Call-by-Name FPC},
author = {Mathys Rennela},
journal= {arXiv preprint arXiv:1607.04332},
year = {2023}
}