ω-范畴相关论文
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
设(Ω，*，I)是一个交换的有单位元的quantale，它是一个monoidal闭范畴，其上的enriched范畴简称为Ω-范畴．Ω-范畴是量化domain理论中主要......
Domain理论具有理论计算机科学与纯数学的双重研究背景，它是计算机程序设计语言的指称语义学的数学基础，它与拓扑、逻辑、代数、范畴......
数理逻辑是用数学方法深入研究数学规律的一门学科，而模型论作为数理逻辑的一个重要分支，是研究形式语言及其解释（模型）之间关系的理论......
在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心，起着举足轻重的作用.它以数学为工具，运用符号和......
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范......
