Cartesian闭范畴相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景.在一个经典偏序集中,仅仅能够表达元素之间的定性信息,而没有实际计算所......
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
上世纪70年代初产生的Domain理论是理论计算机科学中程序设计语言指称语义学的数学基础,具有理论计算机科学和纯粹数学的双重研究......
随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领......
在理论计算机与纯数学的双重背景下产生的Domain理论是理论计算机科学的基础和核心，起着举足轻重的作用.它以数学为工具，运用符号和......
