Robert Furber

14 papers A* 3B 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2026 B conf
Interpreting Lambda Calculus in Domain-Valued Random Variables.
CSL
Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
2021 J jnl
Interpreting Lambda Calculus in Domain-Valued Random Variables.
CoRR
Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
2020 J jnl
Probabilistic logics based on Riesz spaces.
Log. Methods Comput. Sci.
Robert Furber, Radu Mardare, Matteo Mio
2019 J jnl
Probabilistic logics based on Riesz spaces.
CoRR
Robert Furber, Radu Mardare, Matteo Mio
2019 — conf
Scott Continuity in Generalized Probabilistic Theories.
QPL
Robert Furber
2018 A* conf
Boolean-Valued Semantics for the Stochastic λ-Calculus.
LICS
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
2018 — conf
Categorical Equivalences from State-Effect Adjunctions.
QPL
Robert Furber
2017 A* conf
Riesz Modal logic for Markov processes.
LICS
Matteo Mio, Robert Furber, Radu Mardare
2017 A* conf
Unrestricted stone duality for Markov processes.
LICS
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2016 — conf
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.
QPL
Mathys Rennela, Sam Staton, Robert Furber
2016 J jnl
The expectation monad in quantum foundations.
Inf. Comput.
Bart Jacobs, Jorik Mandemaker, Robert Furber
2015 — conf
Towards a Categorical Account of Conditional Probability.
QPL
Robert Furber, Bart Jacobs
2015 — conf
Unordered Tuples in Quantum Computation.
QPL
Robert Furber, Bas Westerbaan
2013 B conf
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality.
CALCO
Robert Furber, Bart Jacobs