Coherence and consistency in domains.

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

Abstract

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
Pages309-317
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)

Fingerprint

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

Cite this