Quantitative Algebraic Reasoning

DOI10.1145/2933575.2934518zbMATH Open1391.68021OpenAlexW2531185145MaRDI QIDQ4635933FDOQ4635933

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/

Recommendations

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

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)

Cited In (31)

• A framework for approximate generalization in quantitative theories
• Divergences on monads for relational program logics
• Discrete equational theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Commutative semantics for probabilistic programming
• A probability monad as the colimit of spaces of finite samples
• A formal semantics of influence in Bayesian reasoning
• A note on distances between probabilistic and quantum distributions
• Complete axiomatization for the total variation distance of Markov chains
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Free complete Wasserstein algebras

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)