Pages that link to "Item:Q5089294"
From MaRDI portal
The following pages link to Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294):
Displaying 11 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- (Q5089293) (← links)
- (Q5094149) (← links)
- (Q5094151) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- Varieties of quantitative algebras and their monads (Q6649438) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)
- Monads for measurable queries in probabilistic databases (Q6653746) (← links)