36 citations · 80 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
Scott Continuity in Generalized Probabilistic Theories
Robert Furber
Scott continuity is a concept from domain theory that had an unexpected previous life in the theory of von Neumann algebras. Scott-continuous states are known as normal states, and…
Probabilistic logics based on Riesz spaces
Robert Furber, Radu Mardare, Matteo Mio
We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of…
Categorical Equivalences from State-Effect Adjunctions
Robert Furber
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomo…