The following pages link to (Q2980964):
Displaying 20 items.
- In memoriam: Klaus Keimel (1939--2017) (Q1644726) (← links)
- Giry and the Machine (Q1744380) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks (Q2700792) (← links)
- (Q3299476) (← links)
- (Q4558787) (← links)
- (Q4611384) (← links)
- (Q4683857) (← links)
- (Q5019656) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- (Q5089018) (← links)
- (Q5094151) (← links)
- (Q5101335) (← links)
- (Q5109515) (← links)
- (Q5140265) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- Healthiness conditions for predicate transformers (Q5971403) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
