The Hoare and Smyth power domain constructors commute under composition

Authors:
Kevin E. Flannery;Johannes J. Martin
Affiliations:
-;-
Venue:
Journal of Computer and System Sciences
Year:
1990

Citing 0
Cited 3

A universal characterization of the double powerlocale

Theoretical Computer Science - Logic, semantics and theory of programming
Dually nondeterministic functions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Lower and upper power domain constructions commute on all cpos

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract