巴甫洛维奇，杜什科 动作计算中名称和抽象的分类逻辑。 （英语） Zbl 0893.03028号 数学。结构。计算。科学。 7，第6号，619-637（1997）. 概要：Milner的动作演算在单体范畴中实现了抽象，因此熟悉的（lambda）演算可以与（pi）演算和Petri网合并在一起。变量被泛化为名称，仅允许有限形式的替换。本文将lambda-演算的著名范畴语义推广到动作演算。证明了对称单体范畴的一个合适的泛函完备性定理：我们确定了抽象可定义的条件。代数上，变量和名称之间的区别归结为超越元素和代数元素之间的区别。前者导致多项式扩展，例如，环\（\mathbb{Z}[x]\）；后者导致了代数扩展，如\（mathbb{Z}[\sqrt2]\）或\（\mathbb}Z}[i]\）。在P.Gardner工作的基础上，我们引入了动作范畴，并证明了它们与静态动作演算的关系，正如笛卡尔闭范畴与lambda演算的联系一样。这种结构的自然例子来自寓言和笛卡尔双范畴。另一方面，任何交换Moggi单子的自由代数都构成了一个动作范畴。动作结石和莫吉单体的一般对应关系将在本作品的续集中得出。 引用于10文件 MSC公司： 03G30型 分类逻辑，拓扑 18日第10天 单线、对称单线和编织线类别（MSC2010） 18立方厘米 理论（例如代数理论）、结构和语义 68问题55 计算理论中的语义学 关键词：动作演算;范畴语义学;功能完整性;对称单体范畴;抽象;动作类别;莫吉莫纳德 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlović}，数学。结构。计算。科学。7，第6号，619--637（1997；Zbl 0893.03028） 全文： 内政部