本文研究了代数sL-Domain,代数sL-Domain上的投射对以及子代数sL-Domain;给出了子代数sL-Domain的等价刻画,子代数sL-Domain与投射......

Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......