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]

@article{BacciMPP24,
  title = {Sum and Tensor of Quantitative Effects},
  author = {Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon D. Plotkin},
  year = {2024},
  month = {October - December},
  doi = {10.46298/lmcs-20(4:9)2024},
  url = {https://doi.org/10.46298/lmcs-20(4:9)2024},
  researchr = {https://researchr.org/publication/BacciMPP24},
  cites = {0},
  citedby = {0},
  journal = {Logical Methods in Computer Science},
  volume = {20},
  number = {4},
}