Sum and Tensor of Quantitative Effects

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. Sum and Tensor of Quantitative Effects. Logical Methods in Computer Science, 20(4), October - December 2024. [doi]

Abstract

Abstract is missing.