Tensor of quantitative equational theories

DOI10.4230/LIPICS.CALCO.2021.7MaRDI QIDQ6061665zbMATH OpenOpenAlexFDO

Authors Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Publication date 8 December 2023

Full work available at URL https://doi.org/10.4230/lipics.calco.2021.7

zbMATH Keywords

monadsquantitative effectsquantitative equational theoriestensor

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(4)

• Sum and tensor of quantitative effects
• Which categories are varieties of quantitative algebras?
• Universal quantitative algebra for fuzzy relations and generalised metric spaces
• Quantitative monoidal algebra: axiomatising distance with string diagrams

This page was built for publication: Tensor of quantitative equational theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6061665)