Pages that link to "Item:Q2577617"
From MaRDI portal
The following pages link to Continuous domains in logical form (Q2577617):
Displaying 10 items.
- Relation lifting, a survey (Q299182) (← links)
- Duality and canonical extensions for stably compact spaces (Q649839) (← links)
- The probabilistic powerdomain for stably compact spaces (Q703479) (← links)
- On the relationship between compact regularity and Gentzen's cut rule (Q1434354) (← links)
- Entailment systems for stably locally compact locales (Q1434362) (← links)
- Continuous L-domains in logical form (Q2041961) (← links)
- Dualities for modal algebras from the point of view of triples (Q2351511) (← links)
- Stably Compact Spaces and Closed Relations (Q4917058) (← links)
- Continuous Domain Theory in Logical Form (Q4922080) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
