Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Sum and Tensor of Quantitative Effects
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…
cs.LO2024
Polynomial Lawvere Logic
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
We study Polynomial Lawvere logic PL, a logic defined over the Lawvere quantale of extended positive reals with sum as tensor, to which we add multiplication, thereby obtaining a s…