The following pages link to Quantitative Algebraic Reasoning (Q4635933):
Displaying 30 items.
- Approximate injectivity and smallness in metric-enriched categories (Q2069826) (← links)
- A framework for approximate generalization in quantitative theories (Q2104546) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- A note on distances between probabilistic and quantum distributions (Q2130591) (← links)
- Quantitative logics for equivalence of effectful programs (Q2133179) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Commutative Semantics for Probabilistic Programming (Q2988671) (← links)
- (Q4558787) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- A Probability Monad as the Colimit of Spaces of Finite Samples (Q4628472) (← links)
- (Q4683857) (← links)
- (Q5020616) (← links)
- Finitary monads on the category of posets (Q5068206) (← links)
- Metric monads (Q5076388) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5109515) (← links)
- A Formal Semantics of Influence in Bayesian Reasoning (Q5111235) (← links)
- (Q5875342) (← links)
- Programming discrete distributions with chemical reaction networks (Q6084210) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Discrete equational theories (Q6149967) (← links)
- (Q6161785) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← 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)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
