推理语言的操作语义：半环、单子和张量

计算效应通常由单子建模，但通常单子可以通过操作和方程代数理论来呈现。本报告讨论用于推理语言的单子和代数理论，以及它们与半环和张量的联系。代数理论的一个基本例子来自考虑半环上的模理论，例如非归一化分布理论，其中半环是非负实数。我们提出通过半环研究理论是一个有趣的视角，并为此探索了几个模理论的子理论例子，主要涉及概率。我们的主要贡献涉及效应的交换组合，由Hyland、Plotkin和Power研究：我们观察到，虽然半环张量通常不决定模理论子理论的张量，但在几个基本的概率例子中它仍然决定。