Logic in Computer Science (LICS 1988)

Paper: Coherence and consistency in domains (at LICS 1988)

Authors: Carl A. Gunter Achim Jung

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 which 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

BibTeX

  @InProceedings{GunterJung-Coherenceandconsist,
    author = 	 {Carl A. Gunter and Achim Jung},
    title = 	 {Coherence and consistency in domains},
    booktitle =  {Proceedings of the Third Annual IEEE Symp. on Logic in Computer Science, {LICS} 1988},
    year =	 1988,
    editor =	 {Yuri Gurevich},
    month =	 {July}, 
    pages =      {309--317},
    location =   {Edinburgh, Scotland, UK}, 
    publisher =	 {IEEE Computer Society Press}
  }