Formal Topology, Chu Space and Approximable Concept
Xueyou Chen, Qingguo Li, Sha Chang, PR China · 2005
Abstract. Within Martin-Lőf type theory ([4]), G. Sambin initiated the intuitionistic formal topology which includes Scott algebraic domain theory as a special case (unary formal topology)([7]). In [6], he introduced the notions of (algebraic) information base and translation, and proved