Functions in Domain Theory
Yi Chen · Mohu xitong yu shuxue · 2002
The aim of domain theory is to set up the model of programming languages of computer in such a way that the denotation of data types is called as domains, and one of programs as functions between domains. This paper is mainly to introduce three classes of important functions in domain theory: Scott continuous functions, Berry's stable functions and CM functions. The author exhibits their definitions, characterizations and representations.