Pages that link to "Item:Q995624"

The following pages link to Kleisli morphisms and randomized congruences for the Giry monad (Q995624):

Displaying 4 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)