Tensor of quantitative equational theories

DOI10.4230/LIPICS.CALCO.2021.7OpenAlexW3198931134MaRDI QIDQ6061665

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

Publication date: 8 December 2023

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

zbMATH Keywords

tensormonadsquantitative effectsquantitative equational theories

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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