丹尼尔·图里;Rutten,一月 在最后的余代数语义的基础上:非零集、偏序、度量空间。 (英语) Zbl 0917.68140号 数学。结构。计算。科学。 8,第5期,481-540(1998). 摘要:本文是[“在最终语义学的基础上:非标准集、度量空间、偏序”的修订版。收录于:J.de Bakker等人(编辑)REX研讨会语义学Proc.–foundations and Applications。Lect.Notes Compute Sci.666,477-530(1993)]是一个旨在构建结构操作语义数学理论的程序的一部分,以补充已建立的领域和指称语义理论,从而形成一个连贯的整体。该程序基于现代数学中普遍存在的归纳原理与计算机科学中许多递归现象的基础上的对偶非标准“共同归纳原理”之间的适当相互作用。本调查的目的是表明,最终余代数的基本范畴概念是这样一个共归纳原理的合适基础。本文从抽象范畴层次和语义学中使用的一些特定范畴,即非良基集范畴、偏序范畴和度量空间范畴,研究了余代数同化的性质。 引用于1审查引用于29文件 MSC公司: 68问题55 计算理论中的语义学 关键词:结构操作语义;末级余代数 PDF格式BibTeX公司 XML格式引用 \textit{D.Turi}和\textit{J.Rutten},数学。结构。计算。科学。8,第5号,481--540(1998;Zbl 0917.68140) 全文: 内政部