线性FS-格相关论文
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究。Domain理论主要以满足一定条件的偏......
Domain理论主要是以满足一定条件的偏序集以及它们所构成的各种范畴为研究对象。在Domain理论中,有界完备domain具有十分重要的地位......