Fixed points of contractive maps on dcpo's

Source
Mathematical structures in computer science - ISSN 0960-1295- (2013) p. 1-18
Author(s)

Compact Hausdorff approach frames

Source
Order - ISSN 0167-8094-29:1 (2012) p. 105-118
Author(s)