代数L-domain相关论文
本文讨论了在逻辑框架下刻画Domain范畴所必需的方法与技巧.Domain以及它们之间的Scott-连续映射构成了计算机程序语言的指称语义......
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,处于拓扑学,格论,范畴论及理论计算机等多学科的交汇处,有着重要的研......
学位
给出代数L-domain和强core紧空间以及连续L-domain和core紧空间的刻画....
