Title: Introduction for Some Aspects of Domain Theory

Speaker: Prof. Qingguo Li, Hunan University

Date: October 22, 2016

Time:15:30 -16:30

Location: Room B1032, Tenth Floor, Zhixin Building, Central Campus

Abstract: In this talk we will focus on some aspects of Domain theory. One is the ccc’s in quasi-continuous domain. Second is the information system which is proposed by Dana Scott as a logic-oriented approach to provide a concrete representation of Domains. Third is the formal context in which the hyper-contexts and hyper-concepts are proposed and proved that they provide an approach to restructuring algebraic domains.