一类局部有限dcpo结构和性质

Structes and properties of a kind of local finite dcpo

给出了一类局部有限dcpo的概念及在其结构下的自由局部有限dcpo,进而给出新的连续性概念,接着讨论这种自由的局部有限dcpo和自由连续的局部有限dcpo的一些性质.

This paper proposed the concepts of the locally finite dcpo and the structures of free locally finite dcpo. After that a new concept of continuous is given. Following, we discussion of the locally finite dcpo and free locally finite continuous dcpo some properties.