Quantitative Algebraic Reasoning

DOI10.1145/2933575.2934518zbMath1391.68021OpenAlexW2531185145MaRDI QIDQ4635933

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

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

Related Items (25)

Complete axiomatization for the total variation distance of Markov chains ⋮ A note on distances between probabilistic and quantum distributions ⋮ Quantitative logics for equivalence of effectful programs ⋮ Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Unnamed Item ⋮ Finitary monads on the category of posets ⋮ Metric monads ⋮ Programming discrete distributions with chemical reaction networks ⋮ Hypernormalisation in an abstract setting ⋮ Divergences on monads for relational program logics ⋮ Discrete equational theories ⋮ Unnamed Item ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Commutative Semantics for Probabilistic Programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ Extending set functors to generalised metric spaces ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ Approximate injectivity and smallness in metric-enriched categories ⋮ A Formal Semantics of Influence in Bayesian Reasoning ⋮ A framework for approximate generalization in quantitative theories

This page was built for publication: Quantitative Algebraic Reasoning