142 citations · 346 across the 11 of their papers we have counts for
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 1 cited
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.LO2022★ 1 cited
Recursion does not always help
Gordon Plotkin
We show that adding recursion does not increase the total functions definable in the typed -calculus or the partial functions definable in the -calculus. As a consequence,…