1 paper
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
Inspired by the seminal work of Hyland, Plotkin, and Power on the combination of algebraic computational effects via sum and tensor, we develop an analogous theory for the combinat…