2 papers
cs.LO2026
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…
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…