Technical Reports (CIS)

Document Type

Technical Report

Subject Area

GRASP

Date of this Version

March 1988

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-88-20.

Abstract

Almost all of the categories normally used as a mathematical foundation for denotational semantics satisfy a condition known as consistent completeness. The goal of this paper is to explore the possibility of using a different condition - that of coherence - which has its origins in topology and logic. In particular, we concentrate on those posets whose principal ideals are algebraic lattices and whose topologies are coherent. These form a cartesian closed category which has fixed points for domain equations. It is shown that a "universal domain" exists. Since the construction of this domain seems to be of general significance, a categorical treatment is provided and its relationship to other applications discussed.

Share

COinS
 

Date Posted: 21 September 2007