Pages that link to "Item:Q685429"
From MaRDI portal
The following pages link to Power domains and second-order predicates (Q685429):
Displaying 8 items.
- Consistent Plotkin powerdomains. (Q471476) (← links)
- The mixed powerdomain (Q1199543) (← links)
- Stable power domains (Q1349652) (← links)
- Characterizing consistent Smyth powerdomains by \textit{FS-}\(\land^{\uparrow}\)-domains (Q1744465) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Predicate transformers for extended probability and non-determinism (Q3636909) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)
