Pages that link to "Item:Q995624"
From MaRDI portal
The following pages link to Kleisli morphisms and randomized congruences for the Giry monad (Q995624):
Displaying 11 items.
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- A categorical foundation for Bayesian probability (Q742929) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Weak bisimulations for the Giry monad (Q3060190) (← links)
- (Q5088131) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Bisimilarity of Distributionally Equivalent Markov Transition Systems (Q5415607) (← links)
