TU as a Universal Domain


In mathematical semantics, in the sense of Scott, the question arises of what domains of interpretation should be chosen. It has been felt by the author, and others, that lattices are the wrong choice and instead one should use complete partial orders (cpo’s), which do not necessarily have the embarrassing top element. So far, however, no mathematical theory as pleasant as that developed for Pw in the paper “Data Types as Lattices” has been available. The present paper is intended to fill this gap and is a close analog of the Pw paper, replacing Pw by 8”‘, the w-power of the three-element truthvalue cpo, T.

2 Figures and Tables

Cite this paper

@inproceedings{Plotkin1977TUAA, title={TU as a Universal Domain}, author={Gordon D. Plotkin}, year={1977} }