Pages that link to "Item:Q2852372"
From MaRDI portal
The following pages link to Probabilistic observations and valuations (extended abstract) (Q2852372):
Displaying 8 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras (Q2378289) (← links)
- Semi-decidability of may, must and probabilistic testing in a higher-type setting (Q2805159) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions (Q5739353) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)