Continuous Information Base
Xueyou Chen · Mohu xitong yu shuxue · 2006
D.Scott initiated the domain theory in 1960's,and introduced information system and(neighbourhood) system as alternatives for the usual(algebraic) domain theoretical approach to the semantics of programming languages.Within the intuitionistic type theory,G.Sambin investigated the intuitionistic(formal) space which includes the domain theory as a special case~([4]).In [5],he introduced the notion of((algebraic)) information base with translation,and proved the equivalence between the category of the((algebraic)) information bases and the category of the(algebraic) Scott domains.From the point of view of information base, we will introduce the notion of continuous information base,and obtain the equivalence(between) the category of continuous information bases and the category of continuous Scott domains.