Tensor of Quantitative Equational Theories.
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Browse the full CALCO paper archive.
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Browse the full CALCO paper archive.