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]

Authors

Giorgio Bacci

This author has not been identified. Look up 'Giorgio Bacci' in Google

Radu Mardare

This author has not been identified. Look up 'Radu Mardare' in Google

Prakash Panangaden

This author has not been identified. Look up 'Prakash Panangaden' in Google

Gordon D. Plotkin

This author has not been identified. It may be one of the following persons: Look up 'Gordon D. Plotkin' in Google