Coherence and consistency in domains.

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Almost all of the categories normally used as a mathematical foundation for denotational semantics satisfy a condition known as consistent completeness. The authors explore the possibility of using different condition coherence, which has its origin in topology and logic. In particular, they concentrate on posets with principal ideas that are algebraic lattices and with coherent topologies. These form a Cartesian closed category has fixed points for domain equations. It is shown that a universal domain exists. A categorical treatment of the construction of this domain is provided, and its relationship to other applications discussed.

Original languageEnglish (US)
Title of host publicationProc Third Annu Symp on Logic in Comput Sci
PublisherPubl by IEEE
Number of pages9
ISBN (Print)0818608536
StatePublished - 1988
Externally publishedYes

Publication series

NameProc Third Annu Symp on Logic in Comput Sci

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Coherence and consistency in domains.'. Together they form a unique fingerprint.

Cite this