142 citations · 346 across the 11 of their papers we have counts for
13 papers · 1 filter
Propositional Logics for the Lawvere Quantale
Giorgio Bacci, Radu Mardare, Prakash Panangaden +1
Lawvere showed that generalised metric spaces are categories enriched over , the quantale of the positive extended reals. The statement of enrichment is a quantitative…
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…
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,…
Fixed-Points for Quantitative Equational Logics
Radu Mardare, Prakash Panangaden, Gordon Plotkin
We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras. Unlike previous related work about fixed-point…
Smart Choices and the Selection Monad
Martin Abadi, Gordon Plotkin
Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices sho…
A complete equational axiomatisation of partial differentiation
Gordon D. Plotkin
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is compl…