本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......

Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,处于拓扑学,格论,范畴论及理论计算机等多学科的交汇处,有着重要的研......

给出代数L-domain和强core紧空间以及连续L-domain和core紧空间的刻画....

引入了强core紧拓扑空间的概念，给出了代数L-domain的刻画定理，其主要结果是：偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间x......

本文引入了强core紧概念，给出了强com紧空间的一个刻画定理．其主要结果是：设X是一个拓扑空间，若X是强core紧的当且仅当对每个代数L-dom......

引入局部条件并半格(简记为L-cusl)及其理想完备化等概念. 证明了: 任一代数Ldomain的紧元集是L-cusl; 任一代数L-domain是其紧元......

20世纪70年代,图灵奖获得者Dana Scott提出了Domain理论,它在计算机程序设计语言中有重要作用。在纯数学领域,Lawson,Stralka等人......

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(......