4 papers
Interpreting Lambda Calculus in Domain-Valued Random Variables
Robert Furber, Radu Mardare, Prakash Panangaden +1
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction r…
Metric Equational Theories
Radu Mardare, Neil Ghani, Eigil Rischel
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET)…
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…
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…