Quantitative Algebraic Reasoning
From MaRDI portal
Publication:4635933
Recommendations
Cited in
(31)- Free complete Wasserstein algebras
- A framework for approximate generalization in quantitative theories
- Divergences on monads for relational program logics
- Discrete equational theories
- scientific article; zbMATH DE number 7199585 (Why is no real title available?)
- scientific article; zbMATH DE number 7649885 (Why is no real title available?)
- Commutative semantics for probabilistic programming
- A note on distances between probabilistic and quantum distributions
- Complete axiomatization for the total variation distance of Markov chains
- A probability monad as the colimit of spaces of finite samples
- A formal semantics of influence in Bayesian reasoning
- Combining algebraic effect descriptions using the tensor of complete lattices
- Quantitative logics for equivalence of effectful programs
- On Quantitative Algebraic Higher-Order Theories
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Hypernormalisation in an abstract setting
- Programming discrete distributions with chemical reaction networks
- Up-to techniques for behavioural metrics via fibrations
- Finitary monads on the category of posets
- Sum and tensor of quantitative effects
- Beyond nonexpansive operations in quantitative algebraic reasoning
- Logical foundations of quantitative equality
- Graded monads and behavioural equivalence games
- Varieties of quantitative algebras and their monads
- Approximate injectivity and smallness in metric-enriched categories
- Metric monads
- Extending set functors to generalised metric spaces
- scientific article; zbMATH DE number 6987095 (Why is no real title available?)
- scientific article; zbMATH DE number 7692246 (Why is no real title available?)
- scientific article; zbMATH DE number 7453165 (Why is no real title available?)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
This page was built for publication: Quantitative Algebraic Reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635933)