Lower and upper power domain constructions commute on all cpos

Authors:
Reinhold Heckmann
Affiliations:
-
Venue:
Information Processing Letters
Year:
1991

Citing 0
Cited 2

Semantic representations and query languages for or-sets

PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dually nondeterministic functions

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.89

Visualization

Abstract