Results 1 
2 of
2
The Sreplete construction
 In CTCS 55, pages 96  116. Springer Lecture Notes in Computer Science 953
, 1995
"... this paper: (internal version) if C 1 is a quasitopos, then S ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
this paper: (internal version) if C 1 is a quasitopos, then S
The Convex Powerdomain in a Category of Posets Realized By Cpos
 In Proc. Category Theory and Computer Science
, 1995
"... . We construct a powerdomain in a category whose objects are posets of data equipped with a cpo of "intensional" representations of the data, and whose morphisms are those monotonic functions between posets that are "realized" by continuous functions between the associated cpos. The category of cpos ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. We construct a powerdomain in a category whose objects are posets of data equipped with a cpo of "intensional" representations of the data, and whose morphisms are those monotonic functions between posets that are "realized" by continuous functions between the associated cpos. The category of cpos is contained as a full subcategory that is preserved by lifting, sums, products and function spaces. The construction of the powerdomain uses a cpo of binary trees, these being intensional representations of nondeterministic computation. The powerdomain is characterized as the free semilattice in the category. In contrast to the other type constructors, the powerdomain does not preserve the subcategory of cpos. Indeed we show that the powerdomain has interesting computational properties that differ from those of the usual convex powerdomain on cpos. We end by considering the solution of recursive domain equations. The surprise here is that the limitcolimit coincidence fails. Nevertheless, ...