Pages that link to "Item:Q912880"
From MaRDI portal
The following pages link to The Hoare and Symth power domain constructors commute under composition (Q912880):
Displaying 7 items.
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Lower and upper power domain constructions commute on all cpos (Q1183424) (← links)
- A universal characterization of the double powerlocale (Q1434363) (← links)
- Information systems for continuous posets (Q2367538) (← links)
- Relational Galois connections between transitive digraphs: characterization and construction (Q2660964) (← links)
- (Q5228883) (← links)
- An upper power domain construction in terms of strongly compact sets (Q6116576) (← links)