This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the ...

Abstract: At present, there is no open domain vocabulary in the programming domain, which leads to many errors in Chinese word segmentation in programming domain. In order to promote the technical ...