Quantitative Algebraic Reasoning

DOI10.1145/2933575.2934518MaRDI QIDQ4635933zbMATH OpenOpenAlexFDO

Authors Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://strathprints.strath.ac.uk/70265/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Equational logic, Mal'tsev conditions (08B05) Free algebras (08B20) Applications of universal algebra in computer science (08A70)

Recommendations

• Quantitative Equational Reasoning
• Algebra and mathematical analysis
• Quantitative fundamental theorem of algebra
• scientific article; zbMATH DE number 1273711
• Analytic algebraic manipulation

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)