The following pages link to (Q4411825):
Displaying 4 items.
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)