%0 Journal Article
%T Domains via Graphs
%A Zhang Guoqiang
%A CHEN Yixiang
%A <br>张国强
%A 陈仪香
%J 计算机科学技术学报
%D 2001
%I 
%X This paper provides a concrete and simple introduction to two pillars of domain theory : (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spacest or graphs. Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing w-algebraic, prime algebraic lattices. The back- and-forth argument in model theory helps to enlighten the constructions.
%K domain theory
%K category theory
%K graph theory
%K universal objects
%K recursive domain equations
%K coherence spaces
%K stable domains
%K the back-and-forth argument<br>图论
%K 域论
%K 域通路图
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=A645ADEF7767603B75D74F3C4C241A0B&yid=14E7EF987E4155E6&vid=7801E6FC5AE9020C&iid=B31275AF3241DB2D&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=19